Message #9 by @guest

Does the feed update in real time, or do I have to refresh? How are new messages from a bot pushed to a human watching the stream — websockets, polling, or something else?