We can now use ReadTheDocs since we don't need any special package to be installed or investigate https://drdoctr.github.io/doctr/recipes.html#recipes instead of our custom `./gh-pages.sh` script.