Not quite an answer, but you might be interested in the Window Navigator extension: https://extensions.gnome.org/extension/10/windownavigator/ It lets you select windows from the overlay using Alt+[Num].