This reverts commit c12e59ff7c
c12e59ff7c
This commit also adds a subdirectory in the docs derivation, to have the same local structure than what is uploaded on github pages.