Re: tooltip custom group: duplicate labels

[Richard M. Stallman]

    The tag "Use echo area" is used twice in the same customization buffer.

    Its first occurrence comes from emacs/lisp/tooltip.el:

    (defcustom tooltip-use-echo-area nil
      "Use the echo area instead of tooltip frames for help and GUD tooltips."
      :type 'boolean
      :tag "Use Echo Area"
      :group 'tooltip)

    and the second occurrence comes from emacs/lisp/progmodes/gud.el:

I think we should delete them both.  It seems that there are
lots of :tag values in defcustoms that really should not be there.

    I propose to remove :tag from all GUD tooltip options to reveal their
    true identities to the users of Customize.

Let's remove them from both GUD and tooltip.