It would be incredibly useful if Goodnotes could apply OCR to both inserted images and imported PDFs. This would allow users to search, highlight, and copy text from all types of study materials.