Hi Nico,
As far as I can tell this is more about making sure all the documentation is indexed under a single hostname, which I believe helps with Google SEO. From the linked documentation, I don’t see how it would help with versions. As, I believe, we only serve documentation from one hostname, the setting described in that link won’t actually help us.
Do you have more insight here?
Thanks.