I think he wants to try something different. He was frustrated that gaming on Linux requires “so much fiddling” (the kids today truly have no idea). So he tried installing windows, and that went about as well as you could expect (I did try to warn him, but he had to see for himself). So, he’s ready to reinstall Linux, and I suggested trying a gaming distro just so he doesn’t feel like it was a total waste of time.