Meanwhile, I'm finding that gaming on Linux is easier than ever (at least on the limited selection, older titles I tend to play), and I no longer need to keep a Windows partition for that purpose. I still have a Windows 10 PC around, but I'm not really sure why I keep it.