greasemonkey

• https://wiki.greasespot.net/Tutorials

• https://wiki.greasespot.net/Greasemonkey_Manual

• Any file that ends in .user.js is a user script.