On Fri, 7 Nov 2003, Michael Poole wrote: > As a user, I have never been confused by Debian's "normal" Linux > kernel packages. What specific benefits would your proposed package > offer? At least, the ability to do apt-get source linux as it should always have been. I think it's time we put an end to this euphemism called "the kernel" and start calling it by its proper name (if we refer to Linux, that is).