Extension:WikiLambda/Duplicate Object labels
This page is currently a draft.
Usually, the software tries to avoid duplicated names. But in case a duplicated name slips through, it will be listed on this special page.
It is recommended to keep this list empty. If there are multiple Objects with the same name, some of them should be renamed. Otherwise some User Interface features might become ambiguous.
You can click through to the Objects directly and edit them to change the name.
Name and label are synonymous in this case.