issue #110: can permanently delete players