Hi Paul, On 11/23/22 19:32, Paul Eggert wrote: > On 2022-11-23 05:48, Alejandro Colomar wrote: > >> diff --git a/zic.8 b/zic.8 >> index f79148f4..c2c61739 100644 >> --- a/zic.8 >> +++ b/zic.8 >> @@ -1,3 +1,7 @@ >> +.\" %%%LICENSE_START(PUBLIC_DOMAIN) >> +.\" This page is in the public domain >> +.\" %%%LICENSE_END >> +.\" >>   .TH ZIC 8 >>   .SH NAME >>   zic \- timezone compiler > > Let's not do that upstream. The file already contains a public-domain notice at > the bottom, in a human-readable format that is visible to anybody who looks at > the printable version of the man page. Let's not put in comments for every > downstream user with its own idiosyncratic machine-readable way of repeating > what's already there. Ah, I didn't see that. Would you mind moving it to the top of the file, as is common with these notices? I'd remove the one in the Linux man-pages repo if you do that, which would mean less maintenance for me (I could also remove it and keep the one at the bottom, but it's likely to not be found as easily). Thanks, Alex --