Greasemonkey 0.9.13 Release

The entire list of bugs handled in this release is also available via the 0.9.13 milestone on GitHub. Note that as always it takes some time for Mozilla to review the new version, but it's available on the all versions page immediately.

If you are using it and notice problems, it's best to log an issue or let us know at greasemonkey-dev (and be clear that it's with this version).

Enhancements:

• Script updates install automatically. (#1442)
  In 0.9.12 we added update checking.  In 0.9.13 updates install automatically, but there's still some discussion over how to handle this best (#1455), so checking is still not enabled by default.  We hope to figure this out by the 0.9.14 release.  Some other update related work was done, mostly to make Firefox 3 work better.  (#1421, #1422, #1423)
• Provide an Options item in the Monkey Menu. (#1447)
• Add a Cancel button to the Options window. (#1454)

Bug fixes:

• GM_getResourceText() was broken. (#1438)
• You can properly select an application (bundle) for the editor on Mac OS X.  (#1439)
• Fix GM_openInTab() for Firefox 3. (#1444)
• Fix when pages reassign the location during page load. (#1445)