I was going to ask how to install it but figured I should be able to figure it by myself. After a few web searches and reading this Hacker News discussion¹, I installed GreaseMonkey and it was super-easy from there.

Many thanks! It works like a charm.

¹ https://news.ycombinator.com/item?id=22896078

Very helpful, thanks for sharing! I'm installing it now.