I understand that this change is quite unreadable and hard to review, sorry for forgetting to do atomic commits. This patch does not change too much content wise, it just
* Gets everything from gitlab wiki
* Removes some specific gitlab hacks
* Formats all documentation file names to be in snake case so they look the same way as our code does

kms

[ci skip]

[ci skip]

[ci skip]

Fixes #389

Older git versions defaults to 7 chars.

This reverts commit d31bbb1c, reversing
changes made to 340ab3cb.

This reverts merge request !309