Change favicon of bookmarklets I have a folder of bookmarklets. They all have the same favicon, i.e. the default (globe) icon. It would be useful to change at least two of them to distinctive icons....