Heya, if the documentation needs another package that is not yet in Debian then I suggest to have Yosys uploaded without the documentation. That said, of course if would be lovely to see sphinx completed, but this has time for trixie+1, I suggest. Best, Steffen