fix #6908, document need for sphinx_rtd_theme to build docs