That’s good to know, thanks. I don’t get asked for Linux advice that often, but I’ll just recommend mint unless there are extreme hardware restrictions (which I’m sure mint can work with, but I’ve looked for whatever modern lightweight-focused distro is when it’s a concern)