Github user zentol commented on the issue:
https://github.com/apache/flink/pull/4665
Would be good to rename the metric to `numLateRecordsDropped` to be more
consistent with existing metrics.
@aljoscha will have to comment on whether the counting is correct or not.
It may also be interesting to count the number of late elements that are
NOT dropped.---
