in order to use those files as browseable documentation, and close the github wiki.
Conflicts: doc/wiki/Home.md