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