3 ms·

True, by the way, editing often takes much longer than writing the same text from scratch yourself, I've noticed that too.