This extension lets you customize web sites by running bits of JavaScript on pages. It's similar to Greasemonkey for Chrome, and supports many of the GM_* functions used in most scripts.
Help make this program better by letting us know about any bugs you find or improvements you have made.
More information coming soon.