• simply boot back into the previous kernel

        That’s asking too much from somebody who cannot fix a screwed-up GRUB config from a Live USB (it took me several tries to successfully update-grub from the Mint installation, and the one time I succeeded, the config is wrong and I cannot boot into it: GRUB menu never shows up no matter what I press, and I set Windows as default for my noob sister). As I said, I’m not the primary user and I will now be mostly debloating and customizing Windows for her, after which she takes it to college. So working Linux is not on the agenda until Christmas at least, and I’ll put up with WSL (or my own laptop) until then.

          • Did you read what I wrote? I did have a GRUB boot menu before accidentally disabling it. Now booting “ubuntu” or “EFI” from BIOS just boots the default GRUB entry (Windows).

            And pen support is a disaster in Windows. It can differentiate the pen from fingers but giving each a different action? Nope. Krita works but the Erase button shows context menu while the Menu button scrolls. GIMP senses pressure but only allows clicking, not dragging (I can draw points, or straight lines if I hold Shift). In Pinta, there is no pressure dynamics and the Erase button does erase but only when the pen is hovering above the screen. This is what I’ll be resolving in the next days so that I can give my sister a decent guide to notetaking, writing & drawing with the pen.