help button from [Grub customizer] that opens commented dialog box - libreuser, 2020-06-06 07:57 AM