Batch convert text files to PDF (with xtopdf and fileinput) (Python) | Hacker News Reader