debian/control: more informative short description.