On Mon, 15 Apr 2024 14:00:46 GMT, Jorn Vernee <jvernee at openjdk.org> wrote: >> I don't think it's possible to start a markdown list at `2`, but I will try > > Looks like this doesn't work unfortunately. No, wait, got it working after all. ------------- PR Review Comment: https://git.openjdk.org/jextract/pull/231#discussion_r1565852284