doc: Postgres -> PostgreSQL

doc/src/sgml/bki.sgml

@@ -65,7 +65,7 @@
  </para>
 
  <para>
-  Most Postgres developers don't need to be directly concerned with
+  Most PostgreSQL developers don't need to be directly concerned with
   the <acronym>BKI</acronym> file, but almost any nontrivial feature
   addition in the backend will require modifying the catalog header files
   and/or initial data files.  The rest of this chapter gives some

doc/src/sgml/installation.sgml

@@ -2300,7 +2300,7 @@ xcodebuild -version -sdk macosx Path
     of <literal>DYLD_LIBRARY_PATH</literal> down to the executables being
     tested.  You can work around that by doing <literal>make
     install</literal> before <literal>make check</literal>.
-    Most Postgres developers just turn off SIP, though.
+    Most PostgreSQL developers just turn off SIP, though.
    </para>
   </sect2>