Thanks for your bugreport.
A check for unusual prioriteis in /etc/apt/preferences could indeed be added.
Thanks for your bugreport.
A check for unusual prioriteis in /etc/apt/ preferences could indeed be added.