How Mighty Mint became one of the most popular Linux distros