Change priority extra to priority optional.

Changes-By: lintian-brush
Fixes: lintian: priority-extra-is-replaced-by-priority-optional
See-also: https://lintian.debian.org/tags/priority-extra-is-replaced-by-priority-optional.html
2 jobs for lintian-fixes in 16 seconds (queued for 5 seconds)