[{"author": "Lorenzo Miniero", "text": "<p>Can you please tell participants to use the mic for questions? They're not audible in the audio stream</p>", "time": "2023-11-05T11:15:04Z"}, {"author": "Stephen Farrell", "text": "<p>sure, will do</p>", "time": "2023-11-05T11:15:45Z"}, {"author": "Lorenzo Miniero", "text": "<p>Thanks!</p>", "time": "2023-11-05T11:15:56Z"}, {"author": "Stephen Farrell", "text": "<p><a href=\"https://github.com/felixlinker/tamarin-workshop/\">https://github.com/felixlinker/tamarin-workshop/</a></p>", "time": "2023-11-05T11:25:39Z"}, {"author": "Stephen Farrell", "text": "<p>if you're remote and have questions, feel free to type 'em here and I'll try grab someone who has an answer</p>", "time": "2023-11-05T11:26:44Z"}, {"author": "Stephen Farrell", "text": "<p>@meetecho we've lost the room displays</p>", "time": "2023-11-05T13:02:12Z"}]