OTOH, Karl's message suggests that it's the job of
`--help', not `--version', so it may not be a good idea.I don't see a reason to have it in --version. But if people think it's a good idea to optionally have it there, we could ask rms. It should definitely be in --help.
