Thanks everybody, after fixing a few small issues it seems to work fine with streaming, it is a delight to see them update live!
There is still significant work to be done, both to handle some special cases (slow mode, avoiding screen jumps when scrolling, unread notifications, disconnections…) and visual improvements, but we are making progress.