It would be great for Lateral to automatically convert all pre-existing highlighted text from uploaded PDFs to highlights