Estensioni per Opera

Alcune estensioni per Opera utilissime allo sviluppatore.