Daniel Kobras writes ("Re: Renaming a package"):
> but the alternative patch to dpkg is quite simple (see
> below). Alas, it changes current behaviour.
I don't think it this patch is correct as is, but something similar
might not be unreasonable if it had to be turned on with a command
line option.
Ian.