Group chat peers now tell others when they quit.

Also increased ping timeout.
Speed up group chat bootstrapping by a bit.