style: remove commented-out sphinx extension we don't need
style: remove commented-out sphinx extension we don't need

hugovk/coveragepy,nedbat/coveragepy,hugovk/coveragepy,hugovk/coveragepy,hugovk/coveragepy,nedbat/coveragepy,hugovk/coveragepy,nedbat/coveragepy,nedbat/coveragepy,nedbat/coveragepy