Github user aljoscha commented on the issue:
https://github.com/apache/flink/pull/5161
I'd say we merge without operator names/operator id and leave that as a
follow-up, issue. To at least make it possible to get latency metrics. WDYT?
Btw, with this, can we now show the latency metrics in the Flink web
dashboard?---
