They're making the distinction because there are two Linux Mints, LMDE Which is based on Debian, and the Ubuntu variant, which is just called Linux Mint. It is

They're making the distinction because there are two Linux Mints, LMDE Which is based on Debian, and the Ubuntu variant, which is just called Linux Mint. It is not officially called Ubuntu Mint, I believe that was a colloquialism.