patrickADI:
this issue seems to be back again or isn't solved.
What you are experiencing is actually a new issue that is a bit different from the original one reported in this thread, even though it results in the same error message. I have reproduced the issue and notified the Arduino Web Editor team about it. Someone will post on this thread once it has been resolved.
Thanks for reporting this patrickADI!