Replacing <a name=xxx> ToC anchors by empty spans.

Fixes an issue which crops up when anchors are accidentally left open.