update doc: pg_dump and psql extensions