I don't even think they need go that far: only the bits that would form some sort of stable API would need to not be obfuscated. They could still do whatever with anything internal.