Change on the documentation repository (opens in new tab)

Recently, we decided to . This will greatly simplify contribution workflows by avoiding to maintain and contribute to a separate repository. This change will also enable us to easily maintain documentations dedicated to minor versions. The documentation for the current release is still accessible on Finally as a consequence of this merge, we will archive the former doc repository.