I was down there earlier today, and clinched the new segment. OSM now shows it as open if you zoom in enough, with exit 10 as the new endpoint.
That exit number is not posted at the exit. However, there is a sign at exit 8 stating that the freeway continues for one more exit, and that exit is numbered 10. I can post a photo, if that helps.