Tool for taking plain text notes on PDF files