I’m happy to report that the 7.2.4 update fixed the tooltip bug. One experience that might help others: the SASS compiler in 7.2.4 apparently handled an error in my theme differently – more rigorously – than before. This prevented theme compilation and resulted in significant hair loss on my part until I found the (my) error. A word to the wise!