3 ms·

Yeah, you're right, I edited it just now. I rewrote parts of the comment and moved things around and didn't re-read the whole thing.