Hi Ikumi,

On Fri, Nov 10 2023 21:10, Ikumi Keita wrote:
> I'll wait for your feedback.

I've heard back from the FSF: everything is signed now, and we should be
good to go! Attached you can find the patch again, rebased to include
commit 2a959a1d43b3f38cf4845b071679a7978e36d95a.

Thank you for your patience!
Tony