Greasemonkey

I wrote my first Greasemonkey script today—can’t believe that I have been using it for so long but had not tried to write something myself. It’s nothing worth sharing, just a minor hack for my own convenience…