Hasn't there been reporting recently that Debian development is struggling with a lack of maintainers?