Texinfo Patch (&texinfo-version;): <ulink url="&ftp;/">&ftp;/</ulink> <ulink url="&http;/">&http;/</ulink>
