Theoretically the eraser is supposed to, but I am having the same problem removing those highlights. I did have better luck going to the markups in the library and deleting them from there.