Re: (ITS#8544) manpage fixes