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
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: