If you got all your tech news from the world’s most popular tech websites - and plenty of people do - the only thing that might be visible to you about desktop Linux is that it’s becoming easier to use it on Windows.