Some userscripts that should work on multiple browsers