Python tools to help working with PDF files, like extracting comments