On Friday, 7 June 2019 at 11:02:29 UTC, mate wrote: > On Friday, 7 June 2019 at 10:57:42 UTC, Mike Parker wrote: >> No, the text is correct as published. See Andrei's >> announcement at the beginning of the AGM: >> >> https://youtu.be/cpTAtiboIDs?t=3041 I've seen the AGM, but doesn't that worth a post somewhere? /P