@awoods It's a simple distinction. Opera Mini is a proxy utility - we compress server-side for speed. Opera Mobile is a full-on browser.