Greasemonkey 0.9.3 Release

Bug fixes:

• Error message logged ("Redeclaration of const document")/high CPU usage when closing the sidebar. (#1226, #1298)
• Navigating to a .user.js inside a frame works like anywhere else. (#1248)
• The list of user scripts in the Add-ons Manager would sometimes forget its sort order. (#1307)
• Compatibility enhancement with AutoPager (broken in 0.9.2). (#1344)
• Passing a non-function to GM_registerMenuCommand()'s commandFunc broke the entire menu, and items showed up in the wrong order (both broken in 0.9.2). (#1346, #1347)
  

Enhancements:

• Passing the Referer header works, for GM_xmlhttpRequest(). (#1240)
• Accessibility: The sort buttons in the Add-ons Manager work with keyboard input (space/enter). (#1345)

The entire list of bugs handled in this release is also available via the 0.9.3 milestone on GitHub. Note that as always it takes some time for Mozilla to review the new version, and it's available on the all versions page. If you are using it and notice problems, it's best to either let us know at greasemonkey-dev or log an issue (and be clear that it's with this version).