Merge branch 'backport/docs_ci' into 'master'

README: link documentation

See merge request !82
3 jobs for !82 with backport/docs_ci into master in 3 minutes and 37 seconds (queued for 4 seconds)