Distrowatch.com har listat de 20 mest populära Linux-distarna enligt IDG. Linux Mint kommer på en hedrande tredjeplats.