Thanks Michael for the confirmation. So according to: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=920328#10
bug #903712 (override: reportbug-gtk:utils/optional) is now fixed, closing.
- Bug#920328: Please downgrade priority to optional Michael Biebl
- Bug#920328: Please downgrade priority to optional Sandro Tosi
- Bug#920328: priority of packages added to the archive Nis Martensen
- Bug#920328: override: reportbug-gtk:utils/optional Nis Martensen
