Is there still a ban on 4 character idents?