It gets worse, actually. People often, accidentally, click on the pen icon after highlight some text and end up highlighting that text permanently for all reade

It gets worse, actually. People often, accidentally, click on the pen icon after highlight some text and end up highlighting that text permanently for all readers. And you, as the writer of the post, have no ability to remove that highlighting.