Thanks, @onlyafly, for the explanation! It were very useful to be able to decide whether just to display the header numbering or to add “hard” numbering to the text. But that’s an issue for another plugin or a feature, I suppose.
Do you know when your plugin will be available in Obsidian’s community plugins? Thanks again!