If they got the code to port 3.9, where does 4.0 comes into the picture? It sounds to me then that they had access to the 4.0 beta, but where not allowed to use it but did anyway.

Am I correct?