On Mon, 31 Oct 2022 14:43:10 +0100 Frédéric Fauberteau <triaxx%NetBSD.org@localhost> wrote: > It actually makes more sense to do it that way. Do you think it is correct like that? LGTM, thanks!