Update opera.user.js