Currently, the orm/documentation/index.html does the redirection to the latest ORM version (e.g. 5.2) using hard-coded values. This can be improved now that we have all the versions listed in the orm-doc-version.js script.