Re: new *Help* argument highlighting

[Richard Stallman]

    I think we've already given too much thought to something that should be
    simple,

I tend to agree.

            so I've done what you say: there's now no customizable face or
    variable, just a function `help-default-arg-highlight'.  The NEWS entry
    explains that the user should redefine the function if he's not
    satisfied with the default.

    The default, by the way, is lowercase italics if
    display-supports-face-attributes-p says that the display supports it,
    uppercase normal (non-italics) otherwise.

    I'd suggest to leave the issue to rest and come back to it only if a
    problem is found.

That sounds good to me.