Thanks for all your work on this.
Also, I used 2020 for the copyright year. Should that instead be
something like 2007-2020?
Yes. The lone year "2020" stuff is only for the online web pages.
Also, I think the Parent-Version: value should be incremented in
gendocs_template. I'm not sure if anyone is still using it, but at one
time there was a semi-automated way to merge changes in the template
into people's per-project index.html files using that.
Apart from that, the change seems fine to me. But can I ask someone else
to install it, please? Bruno? I have no faith in my ability to use git
in expected ways.
Well, I notice you didn't send your message to licensing,
Oops, dumb oversight. I changed the subject and then forgot :(.
--thanks, karl.
