rename "disconnecting" -> "leave", "disconnected" -> "disconnect" for consistency with "connect", "join"