Cleanup for readthedocs.org