4 ms·

Good point. I only looked through the git history initially, but I've now looked through both. Same conclusion.