08:51:43 jbk, would be interesting to see from what date / what changed when so it behaves differently. So it could be tweaked locally maybe at least for partial build, I suppose that is the goal 17:17:11 I have found the #office-hours chat on Discord, so it there all the time if clicked on "chat" . Sry.