From: paul <[email-masked]>
To: [email-masked]
Date: Mon, 19 May 2025 18:55:38 +0200
List-Id: <debbugs-submit.debbugs.gnu.org>

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