Request: Distinguish between the tool bar label and the button label when hovering

This is fixed in 13.9.6: