Hint bug and workaround

randall jones's icon
Bas van der Graaff's icon

I'm able to reproduce. Small bug, or at least the workaround isn't too difficult to use. Good find though, I don't see many people here who put much time into their interfaces (maybe you just don't see those here), do you?