4 ms·

Eh, they did the work to change it, the diff is pretty inconsequential and it seems like enough people empathize/sympathize.