I’ve got an old win10 laptop. It’s nothing fancy in 2025, but I use it now and then while traveling, just to have a proper computer on hand. It’s time to move it over to Linux, and I have A LITTLE Linux experience. I work in software dev, so I know my way around CLI, but I don’t have much firsthard experience, other than occasionally using Kali for offsec tools. What are the distros I should be considering for a personal gaming laptop for occasional use for both gaming and occasional general use? Why?