I was going to suggest making a browser extension out of this, but after some searching see that it has been done before. (On Chrome: https://chrome.google.com

I was going to suggest making a browser extension out of this, but after some searching see that it has been done before. (On Chrome: https://chrome.google.com/webstore/detail/kmndjoipobjfjbhocpoeejjimchnbjje https://chrome.google.com/webstore/detail/kmndjoipobjfjbhocp...). This seems useful for people who 1) are not programmers, and 2) either are running a browser where there is no such extension, aren't interested in installing extensions, or have a one-off need.