OK, I've added the change as PRs. Nothing fancy. Would be still nice if someone checked it out locally and make sure that the search results refer to the correct doc version.
https://github.com/apache/flink/pull/563 https://github.com/apache/flink/pull/564 – Ufuk
