[horde] Horde 4.0.6 (final) - How to remove/delete a user or make an account inactive?

[gimili]

With the latest version of horde, how should a user be removed?  Is it 
ok to just search for the user name in phpmyadmin and delete the 
records?  There are some scripts and ideas on the wiki but I don't know 
if they still work.  We don't have a lot of users but I have an old user 
getting daily agendas which are bouncing.  Is there a way to make an 
account inactive?

Thank you for any help/advice,

-- 
gimili