bug#41200: Displaying a tooltip with x-show-tip gets very slow as more faces are defined

[Eli Zaretskii]

> Cc: 41200@debbugs.gnu.org
> From: Clément Pit-Claudel <cpitclaudel@gmail.com>
> Date: Sat, 20 Jun 2020 12:55:18 -0400
> 
> > Clément, would you like to rebase your patch on the current master and
> > resubmit?  I think we are ready for installing it.
> 
> Yes, sorry for the delay.  I will try to do this today.  Thanks for your 
> patience.

Ping!