Apply suggestion to docs/installation/docker.rst

6 jobs for docker-install-doc in 3 minutes and 7 seconds (queued for 2 seconds)