Update greasemonkey.user.js