I uploaded the file, but I’m not sure if it was received on the server, because I couldn’t see it on the server. At least Filezilla reported a successful transmission. Thanks for looking into it.