I think you are right.
It is not a matter of changing the nicknames.
You can by clicking on the ticker button.
This is a bit of a pain in the ass.
But what if you do not want to change the nicknames?
I would like to know if you can help me with this.
Cheers