@b3m2a1 @HenrikSchumacher I
cleaned up that thread. I get that their tone/entitlement was triggering, but the escalation wasn't particularly helpful. Hoping this will be the end of that back-and-forth now that the evidence is gone :) Will remove my own comment in a week or so.