Another point: since each page will have a link to the extension, we can now easily create LiveData tables listing all documentation for a given extension.
This allows to list all extension docs on the extension page on exo. I’ll try this and see how it looks, as I believe it’s even better than what we have ATM (the “documentation” button).
Note that since we’re decorrelating the doc hierarchy/navigation, it’s possible to have some extension docs in several places and thus we cannot have a single doc link anymore for these cases. Hence the idea of having a LD on exo pages for doc pages.