On Fri, 25 Sep 2020 14:06:55 GMT, Thomas Schatzl <tschatzl at openjdk.org> wrote: > I hope the text that is now there is sufficient. Sure; thank you. ------------- PR: https://git.openjdk.java.net/jdk/pull/343