Selecting PDF Printout instead will print the entire document to OneNote, allowing for annotations. Last but not least, the highlighter tool now lets you highlight in OneNote using your pen or finger.