On 20.08.25 09:57, John Naylor wrote:
> That makes sense. I noticed some comments were not carried over. In a
> mechanical change like this, I'd expect all comments to be preserved
> in some form, or at least removed in the preparatory step so that the
> change is more visible to others.
Here is an updated patch with the remaining comments carried over. I'm
not sure how I lost these. I also added some more comments to the Perl
script and have it print the usual boilerplate into the header. And I
added some .gitignore entries. This seems pretty complete to me now.