[horde] Howto change a username and preserve data

[Brent]

Need to change a username from something like alphadog to alphacat,  
want to retain all their customizations, calendar, contacts, tasks,  
etc.  Using imp backend on imap.  on the OS-side, easy to change the  
login info, but don't see a way in the UI for horde.  Also have an  
activesync thing setup, so I know they'll need to re-type their  
username on their phone.  Anything else?

I assume some sort of sql command then?

Thanks!

brent