Fuzzel, a popular Linux app-launcher and menu building tool on Linux has recently released version 1.13. While Fuzzel may be best known as an app launcher, it's a popular choice for building little menus. See What's Fuzzel Good For? for examples. In the 1.12 and 1.13 releases,