Das Ende von Windows 10 ist der beste Anlass, endlich auf Linux zu wechseln