"dpkg-divert --remove" always moves the diverted file back to the original name. Is this a bug, or should the behavior simply be documented? -- Thomas