Cinnamon Settings: Themes, added thumbnails for well-known themes and information for theme artists on how to generate thumbnails