Restore from Trash now works

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.