[16:55:02] zulipbot leaves the room: Disconnected: closed
[16:55:14] zulipbot joins the room
[21:46:59] nygren joins the room
[23:37:39] nygren leaves the room: Disconnected: closed
[23:38:27] nygren joins the room