Expect the former in a Linux Mint point release later this year

Two of the most popular “traditional” – read Windows-like – desktops happened to land the same version number at once.…