/INFO/1.1/Fri Feb 11 08:53:31 2000//
/auto_gzip.pike/1.9/Thu Feb 17 08:42:43 2000//
/hostredirect.pike/1.19/Thu Feb 10 04:54:17 2000//
/htaccess.pike/1.56/Thu Feb 17 12:44:10 2000//
/redirect.pike/1.15/Sun Feb  6 20:21:32 2000//
/tableborder.pike/1.5/Wed Feb 16 07:16:54 2000//
/url_rectifier.pike/1.8/Wed Feb 16 07:16:54 2000//
D
