The installation procedure is a little tedious: you must copy the script's text and paste it into a user script manager.
I've submitted a pull request to change the suffix to.user.js so that the user script manager can detect the script automatically