@movq@www.uninformativ.de I don’t know. It seems a bit like whatever we do or don’t do, we’re gonna lose. :-( Unless the ban is successful.