https://zulip.com/help/customize-organization-settings
Customize organization settings | Zulip help center
A few settings to highlight:
zulip help centerorganization settingscustomize
https://leanprover.zulipchat.com/help/view-your-mentions
View your mentions | Zulip help center
You can mention a user or a group to call their attention to a message. To make such messages easy to find, Zulip lets you view the messages where you were...
zulip help centerviewmentions