On Sat 24 Oct 2015 at 11:52:41 +0100, Lisi Reisz wrote: > On Saturday 24 October 2015 10:13:51 Thomas Schmitt wrote: > > The name "GRUB1" seems to be an invention of users discussing > > the differences between both GRUBs. > > No. It is its version number, to the nearest whole number. Inventive. :)