In the eraser options menu, there is a new "Erase Highlighter Marks Only" switch. When you enable this switch, your eraser will only remove the highlighter marks. You can use any of the three erasing methods: pixel erasing, whole-stroke erasing, or lasso erasing, and it will specifically target the highlighter marks for removal.
