Why are certain character encodings not legal for the server_encoding?
For example, we allow EUC_KR, but disallow UHC, which is a superset of EUC_KR.
What are the rules for what is or is not allowed as server_encoding?
Is it having a conversion to MIC that is the issue? Why is that important for server encodings?