Undo and recover

The operation log, and stepping back from a finalize.

This page has not been written yet. In the meantime, see Keep a file private in a shared repo.