Documentation root redirects to latest version

GitLab CI should push a redirection page to the "latest" tag directory, without an extra job.