The following documentation comment has been logged on the website:
Page: https://www.postgresql.org/docs/15/indexes-partial.htmlDescription:
The IP addresses used to exemplify which one will be covered by the partialindex are inverted.