On Thu, 2 Dec 2021 19:30:10 GMT, Jesper Wilhelmsson <jwilhelm at openjdk.org> wrote: >> +1 > > Thank you for these suggestions! I have included this. +1 :) ------------- PR: https://git.openjdk.java.net/guide/pull/66