Stream zulip

• second topic
• Stream for IJCAR and workshops?
• Odd browser icon
• topic demonstration
• Meta: zulip usage
• Archive