pdfannots: extract annotations from pdf (command line tool)