Re: new *Help* argument highlighting

[Stefan Monnier]

Honestly, I can't believe we're spending so much energy on printing args in
a slightly nicer way:
- making sure the new highlighting pleases most people [done].
- making sure the new highlighting is OK in 99& of the environments
  [already done: including when the user changed the face to not be italics,
  or when running on a tty.]
  [left to do: detect X11 systems where the font chosen has no italics
  version.]
- define a new format like @var{foo}.
- change the help-mode to fiddle with those and only those.
- change the fill code to try and not count the @var{...} annotation.
- ...

If someone comes up with an actual use for those changes (rather than just
minor aesthetics tweaks), maybe I can buy them, but as it stands I find it
just a waste of effort.
Especially since experience on gnu.emacs.help seems to indicate that most
users don't spend that much time and effort reading docstrings.

The current convention is simple and safe, and as far as I can tell it's
quite sufficient as well.  The changes discussed here seem to be about
a new convention which is not simple, and more importantly not safe.


        Stefan