Add gh_ids: derive heading ids by GitHub's rules - #54

Add gh_ids: derive heading ids by GitHub's rules#54

jph00 merged 1 commit into

mainAnswerDotAI/mdhtml:mainfrom

pr/add-gh-ids-derive-heading-ids-by-github-s-rulesAnswerDotAI/mdhtml:pr/add-gh-ids-derive-heading-ids-by-github-s-rulesCopy head branch name to clipboard