Bill:
During this afternoon's patching (via dnf), a warning GUI popped
up
saying /boot is full. It offered me the option to move /boot files
to trash, but no option to delete anything.
If I might make a suggestion: You might want a larger boot partition.
If you're not lacking space in other partitions, you could shrink one
to grow the other. It sounds like it might be a useful thing for you.
--
NB: All unexpected mail to my mailbox is automatically deleted.
I will only get to see the messages that are posted to the list.