Greasemonkey 1.3 Release

The entire list of bugs handled in this release is also available via the 1.3 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:

• The "Show Script Source" button in the install dialog is enabled as soon as the script source is downloaded. (#1640)
• Use new style non-modal popup notifications where old toast style notifications were used. (#1563)

Bug fixes:

• A false "update" was installed on every page load. (Cause: #1636 Fix: #1643)