Github user StephanEwen commented on the issue:
https://github.com/apache/flink/pull/5843
One could add an int to the annotation, as "priority / position" and sort
by that.
Not sure nice, but could be okay.
I think it was nice for users that the most common options (the ones you
need first) were at the top of the list.
Out of curiosity, what happens to options like `env.java.opts` which are
shell script only options, but very common?
---
