As indicated by Orson in the email linked to in #2, we can't delete the "extra" because we don't know which is the extra and which is the "good" one.
I have added an error for it though.
As indicated by Orson in the email linked to in #2, we can't delete the "extra" because we don't know which is the extra and which is the "good" one.
I have added an error for it though.