Stefan Kangas <stefan@marxist.se> writes:

> Eli Zaretskii <eliz@gnu.org> writes:
>
>> It makes the tooltip height larger than usual, doesn't it?  If so, I
>> think we should at least have that mentioned in the doc string of the
>> face.
>
> OK, we can add a note to that effect to the `help-key-binding'
> docstring.

Here's an updated patch.  The changes from the previous patch are all in
the definition of the `help-key-binding' face.

Let me know if there is anything else to change before this can go in.