doc: simplify because we don't require unreleased Sphinx