User blog comment:Jim Logan/HELP/@comment-3060460-20111215014316/@comment-5000017-20111215023534

Oh, I do, and use it every day. If you have the settings adjusted, it's Function + Shift + F12 to remove it, but for me it's just F12.