3 ms·

Those are the kind of metrics that look nice on paper, but they've all passed a point where I cease to care about any further improvements.