Other publications do not count Chrome OS installations as part of the Linux share, but I think that’s nonsense – they’re both clearly Linux desktop operating systems, and should be added up.