Various handy UserJS scripts for Opera