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

Update to new docs server location

See merge request !23
15 jobs for master in 27 minutes and 16 seconds (queued for 284 minutes and 48 seconds)