note if you sum up the linux distros here (excluding ChromeOS) you get 58,4% for personal use and 54,54% for professional use (of course keep in mind that there’s some godless bastards who dual boot 2 linux distros that could skew these statistics).
Also note how that implies Linux is the most popular OS for professional use.
Anyways, I wish these stats wouldn’t split Linux into distros, at least not by default. Linux distros are mostly the same and you’re still using (GNU*/)Linux splitting it makes it seem less popular tan it actually is.