Thank you for the thorough review! You are correct about all three points. I replied in the response to the mail one above to have the conversation in one place. On Fri, Oct 24, 2025 at 11:18:39PM +0200, Jann Horn wrote: > [...] —Günther