Thanks for sharing the channel. I was using Zulip 1 year ago in my MacOS. It crashes every a few days. Later we give it up and switch to something else. I could submit issue next time I use it. I don't know when though.
TeXmacs is a really interesting and fun product. Tried several times. Love its idea. There are lots of bugs last time I tried. Glad to see it is moving forward.