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

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 https://twitter.com/official_php/status/669940548128534528