PS If anyone wants an easy mdoc solution, I just pushed a trivial local Python 3 fix [1] I had for cli2man [2] to upstream. Unfortunately, this is not actually in Debian ATM so not quite as convenient. But it is certainly more correct, to the point mirabilos made.