The docs badge in the [README](https://github.com/pyccel/sympde/blob/master/README.rst) reflects failing doc builds from more than [8 months ago](https://readthedocs.org/projects/sympde/builds). The GitHub integration to Readthedocs needs to be rechecked: https://docs.readthedocs.io/en/stable/guides/setup/git-repo-manual.html#how-to-manually-configure-a-git-repository-integration