[Documentation only: add link for ISO 8601 format
Kirsten Chevalier <chevalier@alum.wellesley.edu>**20070216004007
 
 In the documentation, make "ISO 8601 format" a link to the official
 W3C page describing the format (for those who don't know it by heart).
] hunk ./PatchMatch.lhs 108
-of the ISO 8601 format.  If you use the ISO format, note that durations, when
+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