See also https://shom.dev/posts/20250622_undo-finally-clicked-with-vundo/