>>>>> On Fri, 14 Jul 2023, Florian Schmaus wrote:

> Posted to gentoo-dev@ since we are now entering a technical discussion
> again.

Please avoid crossposting, because that doesn't work well. (For example,
the posting will have different Reply-To headers in gentoo-project and
in gentoo-dev.)

Ulrich