> 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
