Revert to original

[#78578330]
Use a full-fledged rename function instead of a copy/delete

This lets us easily maintain the original content for 'Revert to
original'
Move 'Revert to Original' button into the File menu

[#78578330]
Support auto-opening a doc by id

[#79483296]