[Use LaTeX for ISO 8601 hyperlink.
Eric Kow <eric.kow@loria.fr>**20070217071601] hunk ./PatchMatch.lhs 108
-of <a href="http://www.w3.org/TR/NOTE-datetime">the ISO 8601 format</a>.  If you use the ISO format, note that durations, when
+of \htmladdnormallinkfoot{the ISO 8601 format}{http://www.w3.org/TR/NOTE-datetime}.
+If you use the ISO format, note that durations, when