Actually I ended up coming round to his view on this. If Firefox has stuck to its principles on DRM, then it would have been goodbye Firefox. And then you would have had no decent options at all, and neither would I. The setting is still opt-in.

Sometimes we have to compromise.