/INFO/1.1/Fri Feb 11 08:53:31 2000//
/auto_gzip.pike/1.13/Wed Jun 30 16:59:01 2004//
/expires.pike/1.2/Fri Aug 25 15:14:44 2006//
/hostredirect.pike/1.33/Mon Sep 25 13:43:48 2006//
/redirect.pike/1.42/Fri Aug  4 11:14:30 2006//
/supports_filter.pike/1.7/Wed Jun 30 16:59:01 2004//
/tableborder.pike/1.12/Wed Jun 30 16:59:02 2004//
/url_rectifier.pike/1.17/Wed Jun 30 16:59:02 2004//
/whitespace_remover.pike/1.3/Wed Jun 30 16:59:02 2004//
/word_highlight.pike/1.4/Wed Jun 30 16:59:02 2004//
D
