On Mon, 3 Nov 2025 10:04:33 GMT, Maurizio Cimadamore <mcimadamore at openjdk.org> wrote: > Very good -- thanks! thanks for the suggestions! ------------- PR Comment: https://git.openjdk.org/jdk/pull/28050#issuecomment-3481938493