/ps delete <player> now ignores casing (closes #513)