In fact, the default html in Readthedocs.org is sphinx_rtd_theme.
So this option is only usefull if you want the sphinx theme when you compile the documentation locally.