[{"author": "Chris Box", "text": "<p>If you have any comments on what is being discussed then please come to the mic or join the queue. People in the queue will take priority over those who aren't in it.</p>", "time": "2023-07-28T00:03:53Z"}, {"author": "Chris Box", "text": "<p>For the record 100,000 hours is 11 years.</p>", "time": "2023-07-28T00:26:04Z"}, {"author": "David Schinazi", "text": "<p>Amusingly, I think they've now removed the printer due to lack of use. But the point remains :-)</p>", "time": "2023-07-28T00:42:35Z"}]