General

Grub Customizer 3.0.1 released and PPA installation instructions included

Grub Customizer is a graphical interface to configure the GRUB2/BURG settings and menuentries