Opera Mini went way beyond just compression. It effectively rendered the website server-side and then sent optimized markup to the client (so it's much closer to "print site to SVG" on the server than "Content-encoding: gzip").