don't close websocket when mailbox is deleted
don't close websocket when mailbox is deleted

This made sense for ServerSentEvent channels (which has no purpose once
the channel was gone), but not so much for websockets. And it prevented
testing duplicate-close.

warner/magic-wormhole,warner/magic-wormhole,warner/magic-wormhole,warner/magic-wormhole