3 ms·

Thanks for pointing this out! I've been hoping djb would get around to releasing redo, but this is the next best thing.