Gnome SHELL Shell Restarter Simply an alternative to pressing Alt+F2+R (+ Enter). Might not work on Wayland - I really don't know