What is an user script?

User scripts are scripts applied on some, or on all web pages. They can modify pages locally to add or alter functionality. That includes fixing bugs in web pages. User scripts are also available in other browsers, in the form of Mozilla's Greasemonkey (http://www.greasespot.net/) or Opera's User JavaScript (http://www.opera.com/support/tutorials/userjs/).