Hello, thanks for the PR!

Note that it is generally better to open an issue first, so we can discuss the feature request. It's more respectful of both maintainers and contributors time.

I'll try to review your PR and the issue/idea behind it as soon as possible 🙂

Hey @percevalw, we just merged #39 which allows to define aliases above headings. With this feature, even if you have the same heading appearing in multiple pages, you can set a unique alias that points to it. I believe that almost entirely solves the use-case described here. The only thing that is maybe not solved is the case where the headings are generated by other plugins/extensions and you don't have control over them. In mkdocstrings case, we will be able to use these new aliases to solve this issue too.