[horde] horde-remove-user-data case sensitive?

[Samuel Wolf]

Hi,

one of my user login with "User" instead of "user".
This add calendars and address books, but "user" can not delete the  
calendar of "User".

Can I delete all the data with
horde-remove-user-data User
?

Or does it remove also "user"?

Thanks.

Samuel