Required Greasemonkey
Rename the user.js file. Will git go mad at me? I don't know.