Merge branch 'docs-url-fix' into 'master'

Update to new docs server location

See merge request !2
4 jobs for master in 15 seconds (queued for 322 minutes and 50 seconds)
latest