Merge branch 'patch-1' into 'master'

Update 2020-04-formation-g5k.rst

See merge request !601
2 jobs for master in 42 seconds (queued for 3 seconds)