3 ms·

Yes, this thread tripped the overheated-discussion detector. We've turned it off for now, but it's not exactly a false positive.