HTML writer:  With --toc, headers no longer link to themselves.

Closes #1081.