Re: Doing a texinfo xref