Yup, they used and listed some pretty big names as well. Charles martinet is the voice of Mario, so I'm completely unsurprised. I'm honestly not sure what they were expecting.

I don't know what the state of the art is for completely synthetic TTS, so maybe the project will come back at some point.