is everybody on zulip?

@veix.q5 That's where everybody is most of the time.

@veix.q5 more active than here, yes