Jonny
→Notifications: new section
00:02
+571
Joelchan
add info about bots
07:45
+261
no edit summary
03:47
+129
add in how-to, adapted from UIST how-to
03:43
+3,369
Jodi.a.schneider
what Discord is for
02:02
+171
Created page with "Our discord is here!!! https://discord.gg/G6pTcN8hPh Anything else we need to describe?"
01:33
+89