That is incorrect.
The files are all there. I created them on this machine, then uploaded them. I did not delete any files in the meantime and I said in the previous post that I retrieved the files from the server after noting the error.
If there were missing files, they would be missing from the server too and the pages on the server work fine.
I just cannot edit them.