Greasemonkey is a user script manager for Firefox.
JavaScript CSS Shell
Latest commit 3f462ac Aug 19, 2016 @arantius arantius Version bump: 3.9