Bug#759260: [PATCH] Remove priority "extra", make all corresponding packages priority "optional"

[Ansgar Burchardt <ansgar@debian.org>]

Gerrit Pape <pape@dbnbgs.smarden.org> writes:
> Since discussion on this topic seems to have stopped, I suggest this
> patch to remove the priority "extra" for Debian packages.
>
> All packages that currently are of priority "extra" shall be changed to
> priority "optional" for the reasons outlined in message #35 to this
> very report

I find Priority: extra useful for at least transitional packages,
detached debug symbols, and packages conflicting with packages of
priority >= important (or maybe >= standard) that will continue to do
so, say for example alternative init systems.

Currently I therefore object this change, but don't mind limiting what
the 'extra' priority should be used for further.

Ansgar