Remove unused docs bcond
    
    Sphinx 3 was available for years now and nobody bothered to turn this on.
    I've tried enabling it and it doe snot work out of the box.
    Instead of fixing this, i think we should just drop it.
    There were no user reports about missing documentation
    and packaging the HTML docs with bundled JavaScript and CSS properly isn't easy.