Barrapunto

Pues eso, porque no hacerlo un xpi, que lo instalo en un plis sin que me haga falta el grasemonkey? la extension barrapuntomejorado.xpi por ejemplo
No es nada raro, customize google antes era un script de greasemonkey y ahora es una extension aparte : www.customizegoogle.com y muy util por cierto :)

¡Es que para eso hay un compilador de scripts de greasemonkey! Unos comentarios más arriba dan el enlace a la versión xpi de éste.