Participants at the EduWiki Workshop “Children and Wikis” October 2025