So, anyone who wants to work on this, take a look at zerver/management/commands/export_single_user.py and https://zulip.readthedocs.io/en/latest/queuing.html .