Uno c'è e l'ho scovato io...
Precisazioni per rendere il topic utile per tutti.
- L'estensione da scaricare è
User Agent Switcher e non la quasi omonima
User-Agent Switcher.
Io quelli di Mozilla non li capisco: fanno tanto i
precisini quando si tratta di rompere l'anima alle estensioni di Iceberg e di Klades e poi permettono un'estensione simile nel nome e nell'icona al secondo arrivato senza problemi?
Sono impazzito per importare il file .XML di Gioxx e solo dopo ho capito che - poiché non c'erano opzioni - l'estensione da me installata era l'omonima di un'altra...
- La lista di Gioxx è molto utile, potete salvarla e poi importarla dal menu
"Edit User Agents... / Import / .XML files / Ok".
- L'estensione pare disponibile in
italiano ma io non sono riuscito a trovare l'opzione per il cambio della lingua (ma non è un problema, è molto intuitiva).
- Il test dell'user agent scelto lo si può effettuare
in questa pagina.
- Grande flessibilità nel posizionare ed editare i nomi e le caratteristiche dell'user agent, era quello che cercavo ma per sbizzarrirsi con s.o. e browser personalizzati occorre fare delle ricerche su Internet (io ancora non ho compreso il meccanismo per inserire un s.o. fantasma e un browser generico inesistente ma forse entro la fine del secolo ci arriverò
).
Grazie a tutti.