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.