for context:
https://meta.discourse.org/t/ctrl-z-undo-and-redo-will-ignore-pasting/4537
This is a can of worms, if someone wants to build a plugin to explore undo/redo again all the integration hooks are in place.