GNOME Shell extension that adds a menu with all open windows - View it on GitHub