Description of JGROUPS_PING_PROTOCOL in Environment Variables reference

JGROUPS_PING_PROTOCOL [1] is described as follows. This seems old content.

JGroups protocol to use for node discovery. Can be either openshift.DNS_PING or openshift.KUBE_PING.

At least "openshift.DNS_PING" and "openshift.KUBE_PING" are already deprecated from 7.2. Actually these would be replaced "dns.DNS_PING" or "kubernetes.KUBE_PING" [2] even if these deprecated values are set on 7.3.

[1] 9.3. Configuration Environment Variables
https://access.redhat.com/documentation/en-us/red_hat_jboss_enterprise_application_platform/7.3/html/getting_started_with_jboss_eap_for_openshift_container_platform/reference_information#reference_configuration_environment_variables

[2] 9.7.1. Configuring a JGroups Discovery Mechanism
https://access.redhat.com/documentation/en-us/red_hat_jboss_enterprise_application_platform/7.3/html/getting_started_with_jboss_eap_for_openshift_container_platform/reference_information#configuring_a_jgroups_discovery_mechanism