zulip bot that records users' preferred pronouns