A measurable exodus is under way: ordinary PC users — not just hobbyists and developers — are seriously considering replacing Windows with Linux, driven by Windows’ tightened hardware gates, the end of free support for a major Windows release, and a steady maturation of desktop Linux that...