Restoring a deleted file

TODO: Add content.