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.