readthedocs.org needs these [no ci]