Trying out some LinuxMint Cinnamon using Virtual Box on a Windows 10 laptop