The doc should be migrated to Read The Docs and Github Actions should be used to build and push the documentation automatically.