[dorrcoq]

Just copy the sections you want from the one file and paste them over the same spots in the other file. Obviously you want to note the exact start and end points for each section, so that the file stays the same length. Tedious, but should do the trick, if I am understanding what you want to do. And of course if you screw one up, just undo it in edit.