Ediff's overlay priorities cause more trouble than they solve.