Re: RFC: Changing the doc name and authors

[Akim Demaille]

>>> "Paul" == Paul Eggert <address@hidden> writes:

 > Akim Demaille <address@hidden> writes:
 >> shouldn't we s/Bison/GNU Bison/ btw?

 > Historically, the name "Bison" has not been prefixed by "GNU", as it's
 > a funnier joke if you omit the "GNU".

Is it?  Three animals in a row doesn't seem less funny than two.

 > This reminds me of the time when some documentation factotum at Sun
 > Microsystems was editing the tunefs(8) man page, and decided to remove
 > Kirk McKusick's joke "You can tune a file system, but you can't tuna
 > fish"

:)

[...]

Thanks for the story.

 > So let's not call it "GNU Bison".  It might bring bad luck.

If you do think 2 is better and less risky than 3, let's do that.