If you've ever been bothered that a site doesn't
have a favicon, or has the wrong favicon, then I have the answer
for you.
installfavicon.user.js
You can update the map at the top of the file with hostnames you
want the favicon to be installed on.
I use it to give gmail and a google hosted domain's email different
favicons.
It also has the ability to set the title of the page if it's all
generic and you want a specific one.
I could build a UI around this, but greasemonkey's excellent 'edit'
button kinda makes it too easy for me to just ask you to edit the
source.
Install favicon greasemonkey script
Posted on 2006-09-30(Sat) in posts