Correct, it's not likely to change at this point. Official release is slated for Dec 3 according to their Twitter[1], so it appears they are getting everything ready to launch.

[1] https://twitter.com/official_php/status/669940548128534528