This reverts commit 5a5eaec3da5e3be4a505f6c5e7fa9eb81d202cea.
This is a first step to improving the doc: - renamed directories; - augmented a fair bit of content. To be continued