Peter-

That's a really sensible reply and you're right. I have been thinking
that the merge should be complete by clicking the "complete the merge"
link; what you say does make me realize how I was wrong in that
interpretation.