Update 20140527 Ubuntu Users Will No Longer Have a Cinnamon PPA.md