Greasemonkey is a user script manager for Firefox. User scripts are small browser extensions that let you customize your web browsing experience.