3 ms·

And even if it doesn't result in higher productivity, it would be a often a good thing to do, because it makes the developers' work more pleasant.