Linux Mint has long been one of the most popular desktop Linux distributions around. But companies like Dell and System76 don’t use it as the default distribution on their computers. Instead they opt for Ubuntu, and that had one redditor wondering why they don’t use Linux Mint.