@jandi gracias. Sí, he estado jugando con ambos, pero el problema que le veo es descubrir el user script. Violentmonkey muestra un "buscar scripts para esta web", pero no me parece muy útil. Greasemonkey ni eso.