That's terrible - this was a different issue as my file wasn't lost, so I think you should create a separate ticket
