An HTTP proxy server that eliminates ads and can compress pages on the fly