Comment # 1 on bug 1226271 from Richard Brown

gnome-menus has been unmaintained for over 4 years

I do not think it's sensible to force install unmaintained software on all Aeon
systems just to support extensions which most Aeon users will never install