Revert commit 892a1c3, use GitHub anchors.

Apparently GitHub ignores id attribute in <h2> tags.

Use its anchors instead for the "table of contents" links.