Correct, it&#x27;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.<p>[1] <a href="https:&#x2F;&#x2F;twitter.com&#x2F;official_php&#x2F;status&#x2F;669940548128534528" rel="nofollow">https:&#x2F;&#x2F;twitter.com&#x2F;official_php&#x2F;status&#x2F;669940548128534528</a>