gzip encoding enabled

In the pursuit of reduced bandwidth and faster performance, I have enabled http gzip encoding on my server. This means that all the html and css files your browser gets from my server are gzip compressed, which is "a good thing"®

I think I have the relevant hacks in place to avoid compressing files sent to buggy browsers (like IE5), but if you have any wierdness please let me know.

Also I am about to cut in half the length of history shown on my homepage. If you want to read more entries, you just need to click on the Blog tab at the top of the page.