Removed special Opera UserJS functions, so renamed to .user.js