On 19 Jan 2020, Wol's lists verbalised: > It would be nice if we had some decent docu on what all these assorted id's and uuid's and all that were, but I haven't managed to > find any. Probably somewhere in the info pages for grub - given that I really don't like hypertext the fact that grub docu is very > much hypertext is rather off-putting ... It's just perfectly ordinary Texinfo. There are lots of non-hypertext output formats, e.g. plain text: <https://www.gnu.org/software/grub/manual/grub/grub.txt.gz> or DVI: <https://www.gnu.org/software/grub/manual/grub/grub.dvi.gz>. (Though the DVI, like the PDF, contains specials that can implement hyperlinks if your viewer can render them, I'm fairly sure the plain text version doesn't.) -- NULL && (void)
