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.
Right now I'm completely revising `programming-work.itexi`, so I can
take care of that, too.
Werner
