A proxy that squishes web pages for people on dodgy Internet connections.