Between Mint and Pop_OS: recommendation for how to pick between them?
Coming from MacOS, haven't used Windows in a number of years.
If it would make a difference it's for a Lenovo Legion Slim 5 (Ryzen 7 7840HS; NVIDIA RTX 4060).
I want to dual boot, using the Windows side for gaming, for now, and Linux for other tasks.