I think share/doc/lang_country in parallel with share/ui/lang_country.pgAdmin will now try to locate a doc version that fits the language settings, and will fall back to en_US.
The options setting is removed.
Regards, Andreas
---------------------------(end of broadcast)--------------------------- TIP 1: subscribe and unsubscribe commands go to [EMAIL PROTECTED]