Just read about a similar issue in this post.
Option (A) if I want to solve it now and just tried uploading all 22 files in the web IDE - doesn’t work!!! Am sure made a copy-paste error somewhere.
Else (B) can only wait till the error resolves itself when I hit the right server.
Any way I can influence which server is being used for option (B). Maybe try a number of times!!! Change something…!!!