diff --git a/doc/src/sgml/ref/create_user.sgml b/doc/src/sgml/ref/create_user.sgml
index 4601edc3dd2..2f5d1d7feea 100644
--- a/doc/src/sgml/ref/create_user.sgml
+++ b/doc/src/sgml/ref/create_user.sgml
@@ -1,5 +1,5 @@
@@ -61,6 +61,13 @@ CREATE USER username
match the UNIX user ids, but some people
choose to keep the numbers the same.
+
+ If you still want the
+ OS user id and the usesysid to match
+ for any given user,
+ use the createuser script provided with
+ the Postgres distribution.
+
If this is not specified, the highest assigned user id plus one
will be used as default.
diff --git a/doc/src/sgml/ref/destroydb.sgml b/doc/src/sgml/ref/destroydb.sgml
deleted file mode 100644
index e69de29bb2d..00000000000
diff --git a/doc/src/sgml/ref/destroylang.sgml b/doc/src/sgml/ref/destroylang.sgml
deleted file mode 100644
index e69de29bb2d..00000000000
diff --git a/doc/src/sgml/ref/destroyuser.sgml b/doc/src/sgml/ref/destroyuser.sgml
deleted file mode 100644
index e69de29bb2d..00000000000