UndoRedo is now decoupled from Core and redesigned to be an optional plugin.