The files are compressed, but most modern browsers should be able to un-compress them on-the-fly.
Split into multiple files and converted to HTML by The Webtender - May 1999