Greasemonkey es un lanzador de scripts con el que modificaremos (siempre a mejor) el comportamiento de algunas webs.