Disconnect when clearing matches. It will create and re-create sessions a
bit more often, but will make it possible to change server without having
to use "New session" in the top bar.