It’s also my first time using Greasemonkey – as far as I understand, it just opens a popup window whenever you open a “.user.js” file that allows you to install the script. So just downloading Greasemonkey and opening the raw .user.js file from Github does the trick.