Consthttps://www.tiptap.dev/api/extensions/undo-redo
Important: If the @tiptap/extension-collaboration package is used, make sure to remove
the undo-redo extension, as it is not compatible with the collaboration extension.
@tiptap/extension-collaboration uses its own history implementation.
This extension allows you to undo and redo recent changes.