...leggendo qua e là...
Come aggiungere nuove funzioni a Opera Mini con i bookmarklet