On Tue, 4 Nov 2025 19:54:17 GMT, Jesper Wilhelmsson <jwilhelm at openjdk.org> wrote: > Minor fixes Marked as reviewed by iris (Reviewer). ------------- PR Review: https://git.openjdk.org/guide/pull/162#pullrequestreview-3418789858