Comment 5 for bug 1904195

I didn't remember the discussions with the dpkg maintainer about this, but I did find them now, and he basically pointed at the same thing.

Anyway, this is not a common use case, so there's no point adding an extra delta here. Use pinning in apt instead.