Antworten:
Leider gibt es im Moment keine Möglichkeit, Highlights zu löschen. Ich habe eine Github-Ausgabe eingereicht, um einen entsprechenden Befehl hinzuzufügen. Ich verwende im täglichen Gebrauch keine Highlights, daher ist die Funktion nicht vollständig.