3 ms·

Oh, there’s definitely value in seeing that in a PR diff. I don’t think that’s a management thing per se.