Is this possible? I often highlight things as I read to help with retention but I don’t need those highlights to be there permanently. I do want my notes that I make to remain. Is there a way to batch delete all notes of a specific color (I highlight in yellow and make notes in blue)? I’m on iOS if that changes anything.