[Feature Request] Add "Undo" command

[jeromepl]

This command would be useful in the scenario where a new highlight (whether caused by a bug or by the user) covers previous highlights. In this case, re-highlighting the text will not add back the covered highlights