Bug#721758: Solution found

[Pietro Battiston]

OK, "solved" in #gedit:

    pbor: toobaz: it is in the AppMenu of gnome shell now
    pbor: click on "gedit" near Activities in the top left

So,
1) it indeed works as before for users _not_ running gnome-shell,
2) you are in problems if you, as me, are using the currently available
version of the following extension (and possible others):
https://extensions.gnome.org/extension/25/window-list/
In that case, disable it and wait for the update (or grab it from
github).

Jason, can you confirm that's also your case?

Pietro