Re: 7.0.1 Problems.

> I believe it was decided already that the .ps.gz files would be 
> available through the web, but not as part of the tar files themselves 
> ... same with the other formats (A1?) that thomas had worked on ...

?? Hmmph. I don't recall that, and am a bit unhappy that the docs are
now considered optional. Just because some of the developers don't use a
particular format is no reason to hide them from others...
                - Thomas