Restore deleted files

Restore all files that were accidentally deleted.