Update instructions to restore this repo on a Git-less machine.