DupDef of top level definition now keeps the copy on the left margin.