Summary:Extension talk:User Merge and Delete/Mass merging?