Re: Little Typo on Presskit 18

On 2025-Oct-06, Daniel Gustafsson wrote:

> Thanks for the report, and a very nice catch it is, turns out this duplication
> has existed in every presskit since Postgres v11..
> 
> I've removed it from the v18 presskit but I opted to leave it in the older kits
> as they exist as historic records at this point.

I don't understand how this could have happened.  The duplication is not
present in the Markdown files in the press Git repository.  Is this a
problem in the tooling that produces the HTML files from the Markdown
source?  Given that the typo has been produced for several years now,
it's clearly not simple human error, but I suspect a buggy script ...

-- 
Álvaro Herrera        Breisgau, Deutschland  —  https://www.EnterpriseDB.com/