FilterProxy is a personal filtering proxy. It has a modular system of filters that transform HTML or any other mime-type. Current modules filter ads by rewriting HTML (using regexes or XSLT), compresses HTML, de-animate gif's, and munge HTTP headers.