[horde] horde-remove-user-data - Case sensitivity - Case insensitivity?

[Stefan Johänntgen]

Hi,

I remove width the horde-remove-user-data command an user with name:  
"User.Group at User.de"
But the script also deletes "user.group at user.de"

Is it possible to delete only the user "User.Group at User.de" ?
Perhaps with edit the script or another horde file?

Many thanks!