On Tuesday, 20 September 2022 at 00:10:50 UTC, Mike Parker wrote: > On Monday, 19 September 2022 at 19:33:37 UTC, Sergey wrote: > >> 3) Andrei left D > > Andrei's still around. Yeah, he just stepped down his position but is still involved, right?