Use .user.js file extension to make chrome happy