diff --git a/doc/src/sgml/catalogs.sgml b/doc/src/sgml/catalogs.sgml
new file mode 100644
index 6d5dad3..d6baf84
*** a/doc/src/sgml/catalogs.sgml
--- b/doc/src/sgml/catalogs.sgml
***************
*** 8341,8347 ****
     The view <structname>pg_timezone_names</structname> provides a list
     of time zone names that are recognized by <command>SET TIMEZONE</>,
     along with their associated abbreviations, UTC offsets,
!    and daylight-savings status.
     Unlike the abbreviations shown in <link
     linkend="view-pg-timezone-abbrevs"><structname>pg_timezone_abbrevs</structname></link>, many of these names imply a set of daylight-savings transition
     date rules.  Therefore, the associated information changes across local DST
--- 8341,8349 ----
     The view <structname>pg_timezone_names</structname> provides a list
     of time zone names that are recognized by <command>SET TIMEZONE</>,
     along with their associated abbreviations, UTC offsets,
!    and daylight-savings status.  (Technically,
!    <productname>PostgreSQL</productname> uses <acronym>UT1</> rather
!    than UTC because leap seconds are not handled.)
     Unlike the abbreviations shown in <link
     linkend="view-pg-timezone-abbrevs"><structname>pg_timezone_abbrevs</structname></link>, many of these names imply a set of daylight-savings transition
     date rules.  Therefore, the associated information changes across local DST
diff --git a/doc/src/sgml/func.sgml b/doc/src/sgml/func.sgml
new file mode 100644
index 4c3e232..c03dd6c
*** a/doc/src/sgml/func.sgml
--- b/doc/src/sgml/func.sgml
*************** SELECT EXTRACT(SECOND FROM TIME '17:12:2
*** 6898,6904 ****
         <para>
          The time zone offset from UTC, measured in seconds.  Positive values
          correspond to time zones east of UTC, negative values to
!         zones west of UTC.
         </para>
        </listitem>
       </varlistentry>
--- 6898,6906 ----
         <para>
          The time zone offset from UTC, measured in seconds.  Positive values
          correspond to time zones east of UTC, negative values to
!         zones west of UTC.  (Technically,
!         <productname>PostgreSQL</productname> uses <acronym>UT1</> because
!         leap seconds are not handled.)
         </para>
        </listitem>
       </varlistentry>