> ... but it might be a propper idea to put this hint just in one of > the initial manuals. Patches sent to debian-boot are always welcome, I think. Michael