No objection from me on disabling non-distributable options by default. In general, the line can be hard to draw. But mplayer w/o proprietary codecs is useful. Agreed that enabling options then needs to set RESTRICTED etc.
Attachment:
pgpSKlSPzo0x2.pgp
Description: PGP signature