BTW, there's one problem with the ctrl-T feature: if a tooltip happens to be showing at the time, typing ctrl-T (to turn off tooltips) doesn't pop the existing tooltip down. In practice, it's hard to avoid having a tooltip show (you'd have to keep the mouse moving, and very quickly type ctrl-T to turn it off).