4 ms·

I'd agree with you if this was written by some random guy rather than Linus. Given his track record, I wouldn't be bothered at all.