Kim F. Storm wrote:

>David Kastrup <dak@gnu.org> writes:
>
>  
>
>> I propose checking this change in.
>>    
>>
>
>Done.
>  
>
Thanks!

What about something like this: