Hi all, This pull request contains a backport of commit [c80e2eb3](https://github.com/openjdk/jdk/commit/c80e2eb35c4eb03f17a2a31e979e5c369453e203) from the [openjdk/jdk](https://git.openjdk.org/jdk) repository.
The commit being backported was authored by Per Minborg on 12 Jun 2024 and was reviewed by Jorn Vernee and Maurizio Cimadamore. This is a P4 doc-only change, which is permitted in RDP1: https://openjdk.org/jeps/3#Quick-reference This change should also make it possible to cleanly backport: https://github.com/openjdk/jdk/commit/6f7f0f1de05fdc0f6a88ccd90b806e8a5c5074ef Thanks! ------------- Commit messages: - Backport c80e2eb35c4eb03f17a2a31e979e5c369453e203 Changes: https://git.openjdk.org/jdk/pull/20116/files Webrev: https://webrevs.openjdk.org/?repo=jdk&pr=20116&range=00 Issue: https://bugs.openjdk.org/browse/JDK-8333886 Stats: 21 lines in 1 file changed: 21 ins; 0 del; 0 mod Patch: https://git.openjdk.org/jdk/pull/20116.diff Fetch: git fetch https://git.openjdk.org/jdk.git pull/20116/head:pull/20116 PR: https://git.openjdk.org/jdk/pull/20116