Linux Mint 18.3 to Be Dubbed "Sylvia," Enables HiDPI by Default in Cinnamon 3.6