> What is wrong with ASCII?  Readable on nearly everything.
> Unconfusing, does not rely on some uncontrolled browser.  It has stood
> the test of time, is well understood, easy to fix when corrupted.
> Printers understand it.  Editors understand it.
> 
> ==John

Yes.  Certainly, at the least, ASCII formats of
the manual should be available along-side of any
other chosen format.

grep '[Gg]lobal [Rr]everb' manual > revkeys