userscripts for Opera, packaged as an (unpacked) extension