Metrics names in envoyproxy documentation

Metrics names in envoyproxy documentation

Description:

I am currently investigating usage of envoyproxy metrics/statistics together with prometheus and Istio. Envoyproxy has hundreds of metrics (statistics) but the names in the documentation are different to the once that are scraped by prometheus. In prometheus the metrics contain in addition to the documented statistics names different prefixes and other identifiers, like envoy_listener_manager_, envoy_cluster_manager_, envoy_cluster_, envoy_cluster_manager_cds_, envoy_cluster_http2_, (and more ...). In the documentation I cannot find the information which prefixes are used for which metrics/statistics.

Is a list of prefixes in the documentation available? Can the used prefixes be added to the statistics sections, like https://www.envoyproxy.io/docs/envoy/latest/configuration/listeners/stats.html?highlight=stat_prefix#listener-manager

[optional Relevant Links:]

Any extra documentation required to understand the issue.