Windows 10 regagne des utilisateurs, Linux monte en flèche