Github user StephanEwen commented on the issue:
https://github.com/apache/flink/pull/4756
Good from my side.
Since I am not very opinionated about docs/navigation, would be good to
have a second opinion.
@alpinegizmo what do you think?---
