>> Is there still any benefit in using the
>> `scripts/auxiliar/update-patch-version` script as described in the
>> Contributor Guide? It seems to me that this and the related
>> documentation should be simply deleted.
>
> I don't, and if need be we can run the single command:
> $ git grep --name-only $1 | xargs sed -i -e s/$1/$2/g
Indeed, so I'm going to remove it (in a separate commit). If
necessary, it can be easily reverted.
>> Right now I'm completely revising `programming-work.itexi`, so I
>> can take care of that, too.
>
> It would be great if you can structure the revision as incremental
> updates and not as a big dump. Those are quite tedious to review and
> usually take much longer to go through...
Unfortunately, this is next to impossible since there are so many
changes. I will provide a PDF that holds the changed pages so that
you and others can simply read what's written there, comparing it with
the current version of the Contributor guide if necessary.
I can also split up the commits into subchapter by subchapter, if that
helps.
Werner
