debian/control: All Priority: extras packages are required to be changed to Priority: optional by recent Debian Policy.