On Fri, Jul 4, 2025 at 1:45 PM Andreas Hindborg <[email protected]> wrote: > > It is an inherited name from way back.
Yeah, that name comes from one of the very first PRs. I think we may have discussed its name in one of the early calls or maybe I just came up with the name. Either way, it is almost 5 years old so I would suggest taking a look at naming etc. with fresh eyes. Cheers, Miguel
