devtools

Dismiss banner messages on connection changes by default

#9148

Merged