> On 25 Sep 2025, at 13:11, Hayato Kuroda (Fujitsu) <kuroda.hayato@fujitsu.com> wrote:
> Is "injection point)" a typo? I feel it is enough to remove ")".
> Feel free to include if you agree this point as well.
Nice catch, I included this with the other fixes and pushed them today.
--
Daniel Gustafsson