Re: [PROPOSAL] fix for bad Xrefs in man/*.texi