@PJ_Evans @rudi @renbymon

I’d love to think that it was a mistake, but???