Fix escaping of links in html export.