Does Linux Mint really deserve that much popularity?