Bug#931477: Re: libhtp: Please replace Priority: extra with Priority: optional

[Sascha Steinbiss]

> I will file a ticket to change the override soon.

See #985816 [1]

[1] https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=985816