PDFtoAnki: A simple open-source utility to convert PDFs into Anki cards | Hacker News Reader