Mouse over font in 'Tools' ...
-
... is hard to read because it's a bolded, small font - the letters merge together. Unbolding might work, or a larger font.
-
@mistertoad Thank you for sharing this. We will pass your suggestion to the development team for consideration.