Discord
Nice idea, that Wikibot! Do I understand correctly that it grabs all messages that contain a page name in double brackets, and adds them to the Wiki page with that name? (this message being as much a test as a question of course)
Thanks <@322545403876868096> ! Added to https://synthesis-infrastructures.wiki/Discourse_Modeling. I guess I could have used Wikibot for that, but it was easier to do it by hand than figuring out the intricacies of Wikibot.