Paul Komarek <komarek@andrew.cmu.edu> writes: I just sent the following suggestion to RedHat, and felt I should spread the idea around. You should probably send your suggestion to debian-boot@lists.debian.org.