An HTTP proxy for filtering and compressing pages