docu: fix Sphinx config for RTD