Christian Biere <christianbiere@gmx.de> writes:
> I have attached a patch for the manpages. I've also changed "BUGS"
> to "CAVEAT" because these aren't bugs, it's broken by design.

I think your patch is okay modulo the "BUGS" vs "CAVEAT" thing. "BUGS"
in a man page often means (as a term of art) "things we cannot fix but
which are annoying" rather than literal bugs.

Perry