On Wednesday, June 17, 2020 at 1:38:23 AM UTC-4, Marton KSz wrote:
And something is apparently wrong with google groups too, as many of us cannot post, haha

They seemed to have had a glitch last night during which all Google groups were down. All good now.

Uli
'AS'