The GNU GRUB Manual - pokkari, Englanti, 2017