ParentFull threaddjfm·And I guess of course "proper resolution grub" is of paramount importance given the time you spend inside grub every day.View on HN