Η πτώση του Ubuntu, η απότομη άνοδος του Mint και οι δημοφιλέστερες διανομές Linux