Hi Masahiro, On Wed, May 7, 2025 at 12:28 PM Masahiro Yamada <masahiroy@xxxxxxxxxx> wrote: > > Hmm, renumbering is annoying. > > Maybe, better to stop managing section numbers? > > For example, see this commit > 1a4c1c9df72ec266f94631edc59f9f2a9dc5aa8c Agreed, that looks much better. I'll send v3 that drops the section numbers. Sami