On Fri, 6 Jun 2025 08:40:26 GMT, Kevin Walls <kevinw at openjdk.org> wrote: > As is "User-defined connector protocols..." -> "Other connector protocols..." I think that would be okay. ------------- PR Review Comment: https://git.openjdk.org/jdk/pull/25670#discussion_r2131785164