vanished players no longer appear on /ps who and no longer trigger snitches (fixes #491)