GNOME Shell no longer supports showing an external application menu,
so overriding the ShellShowsAppMenu GtkSetting no longer has any effect
other than breaking applications that still rely on the fallback UI
for the app menu (when falsely claiming that the shell was displaying
the menu).

#204