rms -- we've discovered that different GNU manuals spell use different spellings for POSIX. Since you invented the term, we thought we'd ask you: do you have a preference for one of "POSIX" or "Posix"?
And, a second question if the answer is "POSIX": for Texinfo, do you have a preference for @acronym (which uses a one-point-size smaller font for TeX output to blend in with surrounding text), @sc (which uses a much smaller font), or just the bare word (regular text size)? (Info output is always just the bare word.) Thanks, k
