Undoing twice while a Ctrl-drag was held removed both the copy and its
source; the dragged widget unmounted, no drop arrived, and the copy's
marker survived to fold a later ordinary move into its addition. Removing
the copy now drops its marker.