Merge branch 'release_2020.5.0' into 'master'

Prepare release 2020.5.0

Closes #204, #206, #207, and #205

See merge request !98
3 jobs for master in 5 minutes and 17 seconds (queued for 1 second)
Status Job ID Name Coverage
  Test
passed #160873
docker
linux_docker

00:04:35

passed #160872
shell
linux_shell

00:04:49

 
  Deploy
passed #160874
shell
pages_shell

00:00:27