On 12/10/2021 11:54, Sebastian Stenzel wrote: > Does this require me opening an issue or is there a less formal way of changing it? I'll take care of the doc changes when upstreaming the changes to jdk/jdk Thanks Maurizio