> > . Depending on the output device, ` and ' should be mapped to > > different characters. However, \` and \' should always map to > > ASCII 0x60 and ASCII 0x27 for proper cut and paste support. > > > > Do you all agree with this? > > Yes, except that \' now maps to latin1/utf-8/etc ยด (U+00B4) and not > to ' (ASCII 0x27).
This can be easily changed (at least locally for man pages).
Werner
