chore(docs): generate header ids for better linking

Also check for broken links, that points to an existing page, but a non-existing anchor.