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