The newest version of the Gentoo Linux-based distribution brings incremental improvements as well as a port of the Cinnamon desktop developed by Linux Mint