Revert "Updated HTML docs."

This reverts commit 06bc3c8bcd.

docs/source/Coding/Coding-Overview.md

@@ -0,0 +1,42 @@
+# Coding and development help
+
+This documentation aims to help you set up a sane development environment to
+make your game, also if you never coded before. If you are an experienced coder, much of this will be familiar
+to you, but some things may still be useful. 
+
+
+## Setting up a workflow
+
+See also the [Beginner Tutorial](../Howtos/Beginner-Tutorial/Beginner-Tutorial-Intro.md).
+
+```{toctree}
+:maxdepth: 2
+
+Version-Control.md
+Updating-Your-Game.md
+
+```
+
+## Coding away
+
+```{toctree}
+:maxdepth: 2
+
+Coding-Introduction.md
+Debugging.md
+Unit-Testing.md
+Profiling.md
+Quirks.md
+Changelog.md
+
+```
+
+## Third-party integrations
+
+```{toctree}
+:maxdepth: 2
+
+Continuous-Integration.md
+Setting-up-PyCharm.md
+
+```