@stolas@elekk.xyz oh, yes, so true.

I have for a long time avoided learning about how to edit the GRUB2 boot menu. So, I took the time to RTFM and now I feel I have a much better overview of how things work, and I successfully changed the default boot option. 😊💖💻✨