Como el menú de aplicaciones de Cinnamon no me gusta, uso Cardapio - ejecutado desde el dock Avant Windows Navigator -awn- . Para editar el menú de aplicaciones se hace con Alacarte, y he ido modificándolo a mi gusto, creando menús nuevos, y moviendo/copiando aplicaciones entre ellos, y también lo usaba para ver el comando ejecutor de tal o cual aplicación,
Desde hace poco he visto que ya no me deja crear menús, ni consultar la propiedad de una aplicación para ver cual es su ejecutable.

