[16:12:44] Mike StJohns joins the room
[16:13:38] Mike StJohns joins the room
[16:14:06] Mike StJohns leaves the room
[18:46:32] zulipbot leaves the room: Disconnected: closed
[18:49:07] englishm leaves the room: Disconnected: Received SIGTERM
[19:08:09] englishm joins the room
[19:22:05] zulipbot joins the room
[23:38:07] zulipbot leaves the room: Disconnected: closed
[23:42:05] zulipbot joins the room