Huh. Maybe I'll move back upstream to Ubuntu. Although at this point LinuxMint works fine for me, so it's hard to see a compelling reason. But Ubuntu's desktop games are what finally drove me out, as a desktop.