Pad nickname choice
It may be a good idea to be able to choose a pad nickname that can be different from the user login, for pad display (as it is already done for the usercolor).
It may be a good idea to be able to choose a pad nickname that can be different from the user login, for pad display (as it is already done for the usercolor).