An HTML attachment was scrubbed... URL: <https://mail.openjdk.org/pipermail/jdk-dev/attachments/20260103/42345f85/attachment-0001.htm>