Hi everyone,

Given that a lot of people will be away next week and probably the week after, let’s (tentatively) reconvene on the 9^th of October. I’ll send out an email to update everyone in case anything changes.