Changes anchor tags (&lt;a&gt;) so that the href= attribute can be set by
javascript rather than by HTML.  This is to make it harder for spiders to
follow the hyperlinks to every diff and annotation in the project history.
It all seems to work, but it needs further testing and review before
going live.