ml_delete_user system procedure

This procedure is for internal use only.