4.0 has a "tools" button that brings up a toolbar with a highlighter icon (it toggles the highlighter on and off.)