Does not mention what port the users app should be using in order for the merge with Envoy metrics to work. What port should be used?
Whatever port you want. If you configure prometheus.io/port=1234 we use 1234. If you don’t set that annotation, we fall back to 80 (aligned with prometheus defaulting)