> I would like to ask you for a feedback for the patch I sent you
> last time, so I can proceed with it, or fix found issues.

Apologies -- I haven't forgotten it, but was much distracted by the
9.10.0 release (and the subsequent patch).  I'll respond more
substantively within the next few days.