Github user StephanEwen commented on the issue:
https://github.com/apache/flink/pull/5928
The configuration (`config.md`)should be generated from the config options
by now, so not be manually edited.
(@zentol could you chime in here?)---
