max-menus: (7.0.max35)

  * Disable ardesia in GNOME, rel #560