I don’t think you can just add the linux percentages, lots of people are probably using several distros. But the 27% of ubuntu still give a much higher lower bound, and while developers are not a very representative subgroup, I’d also estimate the total use percentage a little higher than 3%.