Barrapunto

Hacía tiempo que tenía desactivado el Greasemonkey porque no había dado con ningún script que me fuera realmente útil. Ahora el monito estará siempre alegre... (los que lo tengan sabrán de que hablo ;))

Por cierto, hace poco he encontrado un "compilador" de scripts de greasemonkey [letitblog.com], que convierte scripts de usuario en extensiones de firefox. Así la gente se puede instalar tus scripts sin tener que instalarse el Greasemonkey. Viene con el fuente en Python.