The version 8.0 has not the pg_encoding tool, so how can I find a encoding by its number on pg_database.enconding?
Thanks.