is everybody on zulip?
@veix.q5 That's where everybody is most of the time.
@veix.q5 more active than here, yes
