From: paul <[email-masked]>
Date: Mon, 19 May 2025 18:55:38 +0200

Closing this as there seems to be no consensus on how to proceed. I guess we can figure it out in a later patch.

Thank you for your help,

cheers
giacomo