(Actually, we don't need to reorder the edits if the "re-insertion" actually creates a new node. We just let the insertion happen wherever it wants to happen.)