> On 22 Mar 2023, at 04:19, Hayato Kuroda (Fujitsu) <kuroda.hay...@fujitsu.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