The timeline seems a bit short, but ok. :) (the problems with runners and the UI started at least at 2019-06-02 7:48 UTC, though they were hit-and-miss at the

The timeline seems a bit short, but ok. :) (the problems with runners and the UI started at least at 2019-06-02 7:48 UTC, though they were hit-and-miss at the time) Still, happy this is solved and we can use the (fantastic otherwise) service again!