re-section verify (add|remove) and remove highlights from code