I have a couple of items stuck trying to download to my machine, with the message "file not found". The two items are stars.txt and volume.txt. Should I abort or continue to wait?

Thanks!

Edit: Found the same problem on three other machines.

Just to confirm that I have the same problem with the same files.