More readthedocs.org tweaking.