DRM in Firefox, the sign of a defeat