Rudy just discussed with Tim and me about backward compatibility (for older Gecko without correct dppx detection), if this is the media query for that, I think we can just remove it per what we discussed. (They should update their Gecko version to get dppx support)