/INFO/1.1/Fri Feb 11 08:53:31 2000//
/auto_gzip.pike/1.13/Wed Jun 30 16:59:01 2004//
/hostredirect.pike/1.26/Wed Jun 30 16:59:01 2004//
/redirect.pike/1.40/Tue Aug 16 11:39:55 2005//
/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
