Cinnamon PPA will no longer be maintained for Ubuntu users