In #6, @Yenya mentioned this feature from GitHub Markdown and pandoc, in which the user can select the label themselves:
## Some title {#completely-different-label}
I have no idea how this would work simply because I don't know the code base that well.
But some thoughts:
[ ] make a test to see what happens now and show the desired output
[ ] will this be automatic or controlled by a feature flag? On or off by default?
[ ] is this only headers, or are there other features that do this? I could read the docs, but maybe someone can make some deep links to make that quicker.
I'm not inclined to work on this myself unless someone wants to sponsor that work, but I'm happy to look at comments and PRs.
In #6, @Yenya mentioned this feature from GitHub Markdown and pandoc, in which the user can select the label themselves:
I have no idea how this would work simply because I don't know the code base that well.
But some thoughts:
I'm not inclined to work on this myself unless someone wants to sponsor that work, but I'm happy to look at comments and PRs.