Re: tooltip-use-echo-area disappeared

[Richard Stallman]

    To display help tooltips in the echo area turn `tooltip-mode' off.
    To display GUD tooltips in the echo area turn `gud-tooltip-mode' on and set
    `gud-tooltip-echo-area' to t.

    This sounds more complicated,

Yes, it is not clean.

     but displaying help text in the echo area
    shouldn't require tooltips.

Maybe it should not, but that's a different question.
Just because two underlying mechanisms are involved is no reason
why it needs to have two different variables to control it.
Let's stick with the simple variable that puts all tooltips
in the echo area.

If you want only non-GUD tooltips (and those in the echo area), then
set tooltip-use-echo-area to t, and don't enable GUD tooltips.
What could be cleaner than that?