The first puts an application menu on the top bar replacing activities overview.
What is the latter supposed to do? I see no difference whether it's on or off.
Gnome Tweak Tool has, under extensions, "show applications menu" and, under
Top Bar, "show application menu".
