I wonder what the combined percentage of Linux usage is for personal use. The results (distros) add up to 61% which might be overlapping (one dev using more tha

I wonder what the combined percentage of Linux usage is for personal use. The results (distros) add up to 61% which might be overlapping (one dev using more than one distro).