Ben 🇪🇺 is a user on octodon.social. You can follow them or interact with them if you have an account anywhere in the fediverse.
If you don't, you can sign up here.
TIL that setting GRUB_DEFAULT in Ubuntu without setting GRUB_DISABLE_SUBMENU=y does nothing, it'll use the latest kernel instead of the one you specify. Nice :S
