Mouse over font in 'Tools' ...
Mistertoad last edited by
... 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.