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