Opera Mini used a resource compression proxy. That's not what this patent is for.