Github user yew1eb commented on the issue:
https://github.com/apache/flink/pull/5161
@zentol :+1:
**1)**, I have no opinion.
**2), 3)**, Replace `operatorID` with `operatorName`, will be better?
@aljoscha @rmetzger what are your opinions? ---
