And sure thing I forgot to Cc debian-boot@. I think if this needs to be discussed further, debian-boot@ should receive it too. Thanks! /mjt