Recent data changes finally allowed me to implement rename player functionality. Now, I won't have to write specific update scripts for name change anymore, because the application can handle that now :) So, after the next update, if you want a name change, just let me know - it should take only few moments.
Implemented in
r1536. Changes will be applied in the next update.