On 11/23/22 20:19, Paul Eggert wrote:
> On 2022-11-23 11:01, Alejandro Colomar wrote:
>> Would you mind moving it to the top of the file, as is common with these notices?
> 
> Sure, that's easy. Done by installing the attached.

Thanks :)

-- 
<http://www.alejandro-colomar.es/>