The highlighther tool was a bit lacking and other apps had optimized it better. If you could make the text a bit more more visible, by bolding it slightly, after highlighting, as it is in Onenote and others, it would be great.