Build docs in CI instead of Readthedocs
I'm also now thinking maybe I should change the CI so that it builds the docs - currently they get built by readthedocs but if that fails, there's no notification here. That's probably a problem for the future though!
Edited by Kaspar Emanuel