[fluffything]

Zulip is open source, and the community is both large and very active. So at least they can open a github issue explaining the problem. And if they want to use the tool, they can just submit PRs like everybody else.