#257704 debconf: Could you change default priority to 'high'?