I thought they meant Linux Mint, the Debian derivative. Very confused until I read the comments… perhaps I should read the article 😳