4 ms·

I like to do that, too. It's nice to have more pairs of eyes on it just in case I've made some blunder somewhere.