The entire list of bugs handled in this release is also available via the 4.12 milestone on GitHub. If you are using this version and notice problems, it's best to let us know at greasemonkey-dev (and be clear that it's with this version). New features: Ability to edit text @resource files. (#2733) Support for Firefox on Android. (#3173)Fixed bugs: Code highlighting for newer Javascript features.