The meeting went well – see the collaborative pad linked above for notes.
I propose to have another meeting about a month from now:
on November 7th
at 15:30–17:00 UTC
online meeting room
online collaborative pad for notes
(I picked a different time slot from the current one, that also looks reasonable given previous poll results. If extra people would like to join, please feel free to participate to the time-slot poll in the first post so that I can tell when are good meeting times.)
@giltho thanks for noticing the language issue on the online-meeting service I proposed; this is a new issue that looks like it comes from a version upgrade, it of course had a fine English interface when I adopted the service. Let’s keep jitsi.meet for now.