Michael Biebl <bi...@debian.org> writes: > The main difference is, that the renaming caused an error message by > apt, so you knew something needed to be fixed.
One could argue that having non-free but not non-free-firmware is sufficiently strange that it would be worth a suppressable apt warning (that you could turn off in apt.conf). I have no idea how easy that would be to implement, though. -- Russ Allbery (r...@debian.org) <https://www.eyrie.org/~eagle/>