Comment by fabiomaia

> (dev surveys show Linux being far more popular though).

Hmm, this is hard to believe. It might be a selection bias, maybe Linux users are just more likely to answer these developer surveys, no?