Hi, which is the cleaner way to change the title of the grub menu entry generated by the first stage installation, just before the rebboot? For example I'd like to turn "Debian GNU/Linux" in "aGNUla/DeMuDi".. cheers, free