Github user zentol commented on the issue:
https://github.com/apache/flink/pull/5609
Not sure about this one, after all `4.2` is already _9 years old_.
According to
https://stackoverflow.com/questions/3139126/whats-the-difference-between-sed-e-and-sed-e
and https://www.gnu.org/software/sed/manual/sed.html it also looks like `-E`
is more portable.---
