una volta c'erano gli script per greasemonkey. Funzionano ancora? Qualcuno li ha sotto mano?