On 2023-09-12  13:11, Eli Zaretskii wrote:
>> Date: Mon, 11 Sep 2023 22:26:20 +0200
>> From:  Jens Schmidt via "Bug reports for GNU Emacs,
>>  the Swiss army knife of text editors" <bug-gnu-emacs@gnu.org>
>>
>> If I should provide patch(es) for that, please let me know on what
>> version.
> 
> This should be for master (Emacs 30), since it's an enhancement.
> Thanks in advance.

Patch attached.  Please review and consider for committing to master.

Thanks.