GreaseMonkey is a platform to write a UserScript.