Anchors to headings do not always work

Headings that start with a digit are assigned IDs that start with a digit and those are invalid. I merged a PR to fix this problem:

3 Likes