On Wed, 21 May 2025 10:36:58 GMT, Hannes Wallnöfer <hannesw at openjdk.org> wrote: > Please review a trivial change to disable syntax highlighting in JDK API docs. Marked as reviewed by erikj (Reviewer). ------------- PR Review: https://git.openjdk.org/jdk/pull/25348#pullrequestreview-2857648558