3 ms·

Isn't that how most editors manage infinite undo/redo? I wondered if there is some magic "prune the backend and its now linear" model.