Greasemonkey is a user script manager for Firefox.