GitLab

  (help-default-arg-highlight): Remove.
  (help-highlight-arg): New function.
  (help-do-arg-highlight): Use it.
  Suggested by Drew Adams <drew.adams@oracle.com>.  (Bug#4510, bug#4520)

* NEWS: Mention new variable `help-downcase-arguments'
  and new default for arguments in *Help* buffers.