I understood from the Codex that it should be removed after the site was working correctly. As I said, though, it made no difference with or without it. It’s not an URL that anyone else has access to anyhow, but I’m removing all files for now. I appreciate your efforts to help, but I don’t think I’m going to be able to do this the way I had planned. I have plenty of time to make the move, so will just do it the normal way after I’ve tweaked the site to satisfaction in its current location.