(est-coded-charset-priority-list): Use `==[name]' instead of