Story from the 70s/80s about recovering a Unix system after `rm -rf /` (FOUND)

Somebody accidentally deleted most of the system. There were no executables for any shells, text editors, or utilities. All they had was a single terminal that was still logged in as root. I think they had to manually type in some executable's machine code and echo it into a file.