General just recognised that it is unseemly to discuss such trifles. This settles, as far as any other Project Gutenberg™ trademark, but.