There is one thing I find annoying with the PDF highlighting. I dislike that you have to have the highlight tool open (dropped down) while using it, such that it covers part of the PDF. I'd like the option to select the highlighter and collapse the tool configurator.
