There are more than a billion PCs in use and, according to StatCounter, only 71 percent of them run Windows. Among the rest, about 4 percent run Linux. That's tens of millions of people with Ubuntu, Mint, Debian, etc as their desktop operating system. I envy them.