I propose adding more flexibility for generating documentation links.
I want to improve the case where we need to change the URL pointing to our documentation, for example point it to a local mirror or pointing it to some internal docs.
My proposal is to create a route at the server, that will answer with a 302 response. The address in the response will be calculated by a designated documentation controller. Once we have a controller, we will be able to change its behavior from plugins, giving plugin maintainers an opportunity to alter generated links.
This approach should eliminate the difference between generating links on client side (by react components, like here and server side, like here.