This has resulted in several problems for us today, for example the
newsletter (This Week in LiveCode) does not appear in the expected place,
some PRs disappear and reappear later, and some comments in PRs are not
So if you posted a comment or a PR and did not get a reply, please make
sure your post is not lost, and try again later when things will hopefully
be back to normal.