Subject: Re: PR 13533 (there should be a PDF version of the INSTALL notes)
To: Gavan Fantom <>
From: Michael Wolfson <>
List: tech-install
Date: 05/18/2004 16:59:33
On May 18, 2004, at 9:42 AM, Gavan Fantom wrote:

> Shouldn't the HTML we generate be fixed to play nice with said browser,
> then?

Of course.  See

Part of the problem, however, is that the HTML file is so enormous and 
IE is so pathetic that it takes several minutes on a not unreasonable 
machine to display/scroll/search the document.

   -- MW