v1.10.12

A document you delete for good loses its bookmark everywhere, and the shared positions file drops it (#51). With Sync reading positions between computers on, permanently deleting a document you had listened to — emptying the trash, clearing a duplicate — used to leave its reading position in the shared file forever: this computer kept re-uploading it until Zotero restarted, every computer then kept it through every merge, and cleaning the file by hand did not stick. Now the deletion takes the bookmark out at once, the next sync removes it from the shared file, and a copy that comes back from another computer is dropped again. Bookmarks of documents one computer simply does not have stay in the file for the computers that do, as before. Entries left behind by deletions made before this version leave the file only if you remove them by hand once; after that they stay gone.