@macartisan - the differences between Opera Mini and Opera Mobile are significant. I address it a bit here in comments http://www.omf.gd/1g8