Linux Mint gets file manager improvements, a new screenshot tool and more GamingOnLinux