alias polycoria -> extra_pupils

BUR #40167 has been approved by @nonamethanks.

create alias polycoria -> extra_pupils

I think these are both tags for the same thing.

The bulk update request #40167 (forum #348170) has been approved by @nonamethanks.