hm, you're right! I didn't think about greasemonkey ;) Perhaps a dedicated FF extension would be perfect!