How to remove a user ?

Hi there,

Over the years many users came and disappeared again. So we have about 1400 user records of which only 200 are active on this very moment.

I browsed through Sugar Identity and Admin/Users Management to find an entry to get rid of all those inactive records.

Sugar Identity offers a 'Delete' of a record in there, but Users Management does not.

So what's the correct process for removing user records ? And is it a good idea anyway to do so , removing them , or do I better keep them in ? 

Thanks for your advice,

Hugo