3 ms·

Aggressive optimization. I just mean on a build server time isn't as much of a factor as local development.