cinnamon-desktop: version bumped to 2.0.2.