URLs in the HTML are not links
In the generated HTML report, URLs are formatted as e.g. <span style="color:#0000FF;">http://wiki.clean.cs.ru.nl/Functional_Programming_in_Clean</span>
. It would be nice if they were links (possibly with target="_blank"
to open them in a new tab).