Polari disconnects after gnome-shell restart
Is it possible to prevent Polari from disconnecting after gnome-shell restart (ALT+F2 -> r)? I'm working on an extension and restart the shell quite often. This floods IRC with re-connection messages.
If I'm not mistaken, short network outages are allowed and should not result in disconnections. Can anything be done or is it a gjs-related limitation?