[ncmncm]

Debian does, in fact, distribute firmware. They are just careful to ensure that you are getting it deliberately, and not accidentally.

[pnako]

Yeah they should do that with the libc, keyboard drivers, etc. as well.