Matthias Runge wrote:
> IMHO you cannot ban/deprecate a package from the distro, if there's
> still a packager/contributor to the package. Also you can not force
> somebody to drop a package.

FESCo has done that even to a whole group of packages: (separately-packaged)
kernel modules! It would make much more sense to do that here than there.