The Cinnamon session manager.