> > 1. I noticed that in /usr/share, there are both the cat and man versions
> >    of the man pages.  1.2 only had the cat pages.  Is the change a
> >    feature or an oversight.
>
> And if it's an oversight, don't "fix" it, 'cause it's definitely a feature.

I agree, although it could be argued that the man versions could
or should be made an optional feature.  I know; too late for 1.3,
but perhaps for later?  I'm quite certain that I will not use the
man versions of the documentation to generate .ps files on my
laptop...

- H=E5vard