> On 22 Mar 2023, at 04:19, Hayato Kuroda (Fujitsu) <kuroda(dot)hayato(at)fujitsu(dot)com> wrote:
> I have also grepped to detect another wrong markups, and I think at least
> "<entry>PostgreSQL</entry>" should be changed. PSA the patch.
I agree with that analysis, this instance should be marked up with
<productname> but not the other ones. I'll go ahead with your patch after some
testing.
--
Daniel Gustafsson