Quite right, you can delete people like that from a list, however I
would advise not to add ppl like that since the server puts special
characters after 80th column into the file, reflecting the user's
defined options, which you can't easily imitate. When you GET the
list, make sure to keep it locked so that you don't erase the
recent changes to the list by re-storing the list. Also remember
that people won't get any notification when you delete them this way.
Regards, -turgut