2 ms·

I agree, we (or I) should have gotten out of this earlier. Shame on me, really. But LLM:s have lowered the threshold.