Update docs to use Sphinx cmdoption feature. [ci skip]