Bug when copying table from one db to another

[GeneGeneGitHub]

Highlight table in source db
right-click Copy
highlight Tables entry in target db
right-click Paste
if an index name conflict exists your app asks for a new, unique name.
Enter new name, click OK
The copy operation fails, stating the old index name exists.
It doesn't recognize/assign the new index name.