I deleted a book by mistake.
Deleting a book removes its puzzles and exported PDFs from your computer, and the app asks for confirmation first. It cannot be restored from the app. If you have a backup of your books folder, the book is in "_Activity Studio". Puzzles of books you had exported stay in the studio's memory, so they are still never repeated.