Duplicate documentation within the same page

On Sunday, February 14, 2021, PG Doc comments form <noreply@postgresql.org>
wrote:

The following documentation comment has been logged on the website:

Page: https://www.postgresql.org/docs/13/sql-syntax-lexical.html
Description:

Hello, in the bottom part of
https://www.postgresql.org/docs/current/sql-syntax-
lexical.html#SQL-SYNTAX-IDENTIFIERS
there is an explation about escaped Unicode characters. This piece of
documentation appears again word by word in the same page in
https://www.postgresql.org/docs/current/sql-syntax-
lexical.html#SQL-SYNTAX-STRINGS-UESCAPE
Please delete one of them.
Aviv Murlakov

Which words exactly do you suggest removing because are far as i can tell
the docs are fine as-is.

David J.

PG Doc comments form <noreply@postgresql.org> writes:

Hello, in the bottom part of
https://www.postgresql.org/docs/current/sql-syntax-lexical.html#SQL-SYNTAX-IDENTIFIERS
there is an explation about escaped Unicode characters. This piece of
documentation appears again word by word in the same page in
https://www.postgresql.org/docs/current/sql-syntax-lexical.html#SQL-SYNTAX-STRINGS-UESCAPE
Please delete one of them.

While the Unicode identifier and Unicode literal constructs are related,
they are certainly not the same thing. I doubt that what you propose
could be an improvement.

regards, tom lane