Github user StefanRRichter commented on the issue:
https://github.com/apache/flink/pull/5058
So which way can we agree upon? I feel like this is a setting that is very
specific and hard to understand for the user. On the other hand, it is nice if
we can adjust it by configuration in case it causes any problems.---
