Really nice work, and it's very pretty... so I feel bad for saying this..

Zulip has really won my heart. It's not perfect, but up-front nature of the threads, the ease of integration and the minimal but extremely useful built-in set of tools (like a clock that is always the correct timezone for all people viewing it, simple polls and the ability to spawn jitsi sessions)

I'm really hard pressed to even try anything else, I'm all-in on Zulip.

I havent used Zulip. Is Zulip searchable and indexable through search-engine (at least Google?). If yes, I agree that Zulip is a better fit as its a more mature product. If not, the use case Linen is solving here is totally different.

Yes, Zulip chats and histories can be published and indexed as an opt-in feature.

To clarify Zulip let's you export their conversations and then render it by generating a static HTMl similar to https://leanprover-community.github.io/archive/ You'd have to use https://github.com/zulip/zulip-archive to achieve. You can see it in the Caveats sections in their documentation https://zulip.com/help/public-access-option#caveats They are working on it here: https://github.com/zulip/zulip/issues/21881

Zulip lets you browse conversations of public conversations but that is very different than the app being natively search engine friendly and indexable.

The difference between Zulip's implementation and Linen is that you don't need a separate UI when someone finds a link in Google. If you find a link through Google you get a dynamic real time experience instead of a static page.