BUG #16380: documentation: host[no]gssenc vs. address/IP-address/IP-mask fields

The following bug has been logged on the website:

Bug reference: 16380
Logged by: Arthur Nascimento
Email address: tureba(at)gmail(dot)com
PostgreSQL version: 12.2
Operating system: Documentation
Description:

Hi,

I see a couple of inconsistencies in the documentation of the pg_hba.conf
file in v12+:
https://www.postgresql.org/docs/12/auth-pg-hba-conf.html (and /current/)

1. Near the top, there's a line saying "A record can have one of the seven
formats", then the followup list shows 9 formats. The ones on host[no]gssenc
were added to the IP-address/IP-mask section, but not to the address
section. I believe the intention was to have 11 lines there, with a
corresponding count at the top.

2. In the address and IP-address/IP-mask descriptions, there's "This field
only applies to host, hostssl, and hostnossl records." and "These fields
only apply to host, hostssl, and hostnossl records.". But those lists should
probably be updated as well to add host[no]gssenc (or to negate the logic,
saying they are not applied to local connections).

Thanks,
Arthur