PSA: GNOME Shell replace from another TTY

If your GNOME Shell went FUBAR and you can't reach a terminal from it to issue gnome-shell --replace(apparently this is broken since 3.30), and Alt+F2 doesn't work, you can use the following in another TTY or via SSH:

    
killall -3 gnome-shell

  

That'll be all.