Re: manpage slimmed down?