Stop me if you’ve heard this one — two guys walk into a bar in downtown Hendersonville, bond over a mutual affection of Linux open-source operating systems and decide to create a free desktop system themselves. That idea, which eventually became Peppermint OS, has now racked up more than 40 million downloads across 140 countries.