This is a temporary solution until we figure out how to deploy readthedocs via GitHub Actions on a GitHub page.