If you want to extract highlighted text from PDF file as a plain text file, then this post covers some good free PDF Highlight Extractor software to do that.