[16:25:34] is CropTool down? [16:25:45] I'm getting "502 Bad Gateway" [16:39:54] Could be - there are Toolforge issues ongoing