Comment by coffeeling

OneNote's PDF support isn't really for PDFs, though. It just literally prints the PDF as images onto a OneNote page and OCRs it. Makes for a really heavy page and none of the normal PDF amenities like doing highlighting within the file itself.