Renumber the highlighting list before it's saved... the way highlighting
is stored is crappy but will not be fixed in stable I guess.