diff -r 32429702305e -r c72b545f1304 index.php --- a/index.php Fri Dec 21 19:08:27 2007 -0500 +++ b/index.php Wed Dec 26 00:37:26 2007 -0500 @@ -20,10 +20,10 @@ // Set up gzip encoding before any output is sent - $aggressive_optimize_html = false; + $aggressive_optimize_html = true; global $do_gzip; - $do_gzip = false; + $do_gzip = true; if(isset($_SERVER['PATH_INFO'])) $v = $_SERVER['PATH_INFO']; elseif(isset($_GET['title'])) $v = $_GET['title'];