When you create a new device, sometimes you need to give the same name to two or more pins (in the following example, an Arduino Pro Mini has two reset pins, RST).
If you try to rename the second pin, you get an error:
The solution is very simple: name the pin: name@number, for example RST@2:
When you add your new device in a schematic, all the pins are displayed with the same name:
DangerousPrototypes also wrote a tutorial about the same trick…