@rfc2822 No, I am not totally sure the upgrade to 3.1.1 was already installed when I observed this, might have happened on a phone where an upgrade got stuck. When you cannot reproduce it, and did some changes in that direction lately, I’d consider my observation invalid now and not worth investigating further.
How to change account name?
Is there a way to change the name of a DavDroid account?
No. It’s impossible to rename accounts with Android <5.0, and for 5.0+ devices, it has not been implemented in DAVdroid (yet).
You can just delete the account and create a new one, which shouldn’t be that complicated.
Seems like it would be possible to rename the account on Android 5.0+, but existing local contacts/events can’t be moved.
At least the calendar provider prevents changing
Events.account_name(only the provider itself may change it, and the provider doesn’t have a rename method).
Renaming accounts has been implemented (with some cuts) and will be available in the next DAVdroid version.