So... Here's another question: Why is the default size of /boot, as created by the installer, so small? Disk (even SSD) is cheap enough these days that the default size could be as much as a GB without great pain.
Has this been thought about by the PTBs? Was there a discussion of possibly raising the default? Maybe I missed it... Stay safe and stay healthy! Rick