Exactly this. For many of us the disadvantages of using Linux are tiny compared to the advantages: - from 30-50% faster compiles (vs Windows) - instant git (

Exactly this. For many of us the disadvantages of using Linux are tiny compared to the advantages: - from 30-50% faster compiles (vs Windows) - instant git (vs Windows) - choice of Desktop environment (vs both) - choice of hardware (vs Mac)