diff --git a/doc/src/sgml/catalogs.sgml b/doc/src/sgml/catalogs.sgml
index 53d8142b78e..63e5f3e655f 100644
--- a/doc/src/sgml/catalogs.sgml
+++ b/doc/src/sgml/catalogs.sgml
@@ -1,4 +1,4 @@
-
+
@@ -2764,65 +2764,6 @@
-
- <structname>pg_user_mapping</structname>
-
-
- pg_user_mapping
-
-
-
- The catalog pg_user_mapping stores
- the mappings from local user to remote. Access to this catalog is
- restricted from normal users, use the view
- pg_user_mappings
- instead.
-
-
-
- <structname>pg_user_mapping</> Columns
-
-
-
-
- Name
- Type
- References
- Description
-
-
-
-
-
- umuser
- oid
- pg_authid.oid
- OID of the local role being mapped, 0 if the user mapping is public
-
-
-
- umserver
- oid
- pg_foreign_server.oid
-
- The OID of the foreign server that contains this mapping
-
-
-
-
- umoptions
- text[]
-
-
- User mapping specific options, as keyword=value strings.
-
-
-
-
-
-
-
-
<structname>pg_index</structname>
@@ -5648,6 +5589,66 @@
+
+
+ <structname>pg_user_mapping</structname>
+
+
+ pg_user_mapping
+
+
+
+ The catalog pg_user_mapping stores
+ the mappings from local user to remote. Access to this catalog is
+ restricted from normal users, use the view
+ pg_user_mappings
+ instead.
+
+
+
+ <structname>pg_user_mapping</> Columns
+
+
+
+
+ Name
+ Type
+ References
+ Description
+
+
+
+
+
+ umuser
+ oid
+ pg_authid.oid
+ OID of the local role being mapped, 0 if the user mapping is public
+
+
+
+ umserver
+ oid
+ pg_foreign_server.oid
+
+ The OID of the foreign server that contains this mapping
+
+
+
+
+ umoptions
+ text[]
+
+
+ User mapping specific options, as keyword=value strings.
+
+
+
+
+