That’s right, we’re talking about Cinnamon 3.2.2, which arrived a few hours ago with lots of improvements and bug fixes, such as the ability to show a separator on applets’ context menus and a new mechanism for highlighting applets that have open menus, as well as better keyboard navigation for the Menu applet with some specific keys. The second maintenance update to Cinnamon 3.2 also restores the ability to theme the Menu applet’s menu independently of other menus, improves the Sound applet by removing the percentage label for the slider option, as well as an old code for timeLabel, and fixes thumbnail generation on LMDE2 (Linux Mint Debian Edition 2).