Moving Docker to more appropriate location

src/site/markdown/docker-config.md → src/site/markdown/docker.md

-# Docker Config
+# Docker
 We use the `Docker` runner for [GitLab CI].  This means it is no longer necessary to configure the build server or
 install software required for your build.  Simply declare a [Docker] image in your [.gitlab-ci.yml] file.
 

src/site/site.xml

@@ -35,11 +35,11 @@
 
 		<menu name="Documentation" ref="docs">
 			<item name="Our Server" href="server-overall.html" />
+			<item name="Docker" href="docker.html" />
 		</menu>
 		<menu name="Configuration" ref="config">
 			<item name="Your Tools" href="your-tools.html" />
 			<item name="GitLab" href="gitlab.html" />
-			<item name="Docker Config" href="docker-config.html" />
 			<item name="nginx" href="nginx.html">
 				<item name="nginx GitLab" href="nginx-gitlab.html" />
 				<item name="nginx GitLab Pages" href="nginx-gitlab-pages.html" />