Ovviamente è meglio Opera Mobile! Opera Mini lo usi sui telefoni non compatibili con la versione Mobile. Per il proxy integrato puoi usare toonel.net in versione WM5.