On Sun, Jul 26, 2020 at 06:51:37PM +0100, John Duffy wrote: > I would be grateful for confirmation that I have followed the correct > procedure > to make a change to the package source code.
There is not likely a standard procedure for doing so. BTW, I did not find any problem in your procedure. It is expected to work and won't mess up the system.