PDFtoAnki: A simple open-source utility to convert PDFs into Anki cardsgithub.com/bricee982 pointsbricee982 years ago