Pressing Restore in your library's Trash had returned an error on every attempt since May. It now works, and it does more than put the file back in the list: deleting a file had also removed it from your video and music pages, from the studios' recent runs and from the files a project can search. A restore now brings all of those back too.