db encoding

pg_encoding appears to have 2 personalities, (name=>number and vice
versa) depending on whther or not its parameter begins with a digit
(which is in itself fragile - what if you gave it "3foo"?).

However, from an initdb POV I am assuming that we are only interested in
the name=>number conversion, even though initdb.sh does no apparent
checking on the parameter it is passing to pg_encoding. Please tell me
if this is incorrect.

thanks

andrew