I’ve now reported this in the appropriate Slack channel. But of course the working week in Europe is over now.
