From a233a603bab80fdf6da2b4908c98f166273aa0cb Mon Sep 17 00:00:00 2001
From: Daniel Gustafsson <dgustafsson@postgresql.org>
Date: Mon, 7 Apr 2025 00:03:18 +0200
Subject: [PATCH] doc: Clarify project naming

Clarify the project naming in the history section of the docs
to match the recent license preamble changes.

Backpatch to all supported versions.

Author: Dave Page <dpage@pgadmin.org>
Reviewed-by: Daniel Gustafsson <daniel@yesql.se>
Discussion: https://postgr.es/m/CA+OCxozLzK2+Jc14XZyWXSp6L9Ot+3efwXUE35FJG=fsbib2EA@mail.gmail.com
Backpatch-through: 13
---
 doc/src/sgml/history.sgml | 9 ++++-----
 1 file changed, 4 insertions(+), 5 deletions(-)

diff --git a/doc/src/sgml/history.sgml b/doc/src/sgml/history.sgml
index 856c9b01ded..8bfa1db670d 100644
--- a/doc/src/sgml/history.sgml
+++ b/doc/src/sgml/history.sgml
@@ -203,11 +203,10 @@
   </para>
 
   <para>
-   Many people continue to refer to
-   <productname>PostgreSQL</productname> as <quote>Postgres</quote>
-   (now rarely in all capital letters) because of tradition or because
-   it is easier to pronounce.  This usage is widely accepted as a
-   nickname or alias.
+   <productname>Postgres</productname> is still considered an official
+   project name, both because of tradition and because people find it
+   easier to pronounce <productname>Postgres</productname> than
+   <productname>PostgreSQL</productname>.
   </para>
 
   <para>
-- 
2.39.5