Mozilla could stick to their guns on this, but it probably wouldn't have much practical effect, and the users they'd lose give them that much less leverage to fight the next battle. We already have the FSF to make ideological points with no compromise, so I'd much rather Mozilla pick battles where they can make a difference, and compromise to maintain relevance when they can't.