Comment by lipis

It seems that it works now! Maybe ChatGTP was overloaded..