use gzip for cgi output, minify javascript and css, various minor optimizations