No, my recollection is the Tesla sedan was originally codenamed Whitestar, and that came from Tesla Motors. The concept went through a couple iterations (range extended version!) and the code name changed a couple times. The last codename was Model S (S for sedan) which they ended up deciding to keep.A correction on that article. The Model S was not code-named Whitestar. Tesla followers called it that because we knew the Roadster codename was Darkstar.
And the Genlll was called Bluestar by us as well.
It's the Bluestar name that appears to have been fan generated for the platform Tesla is now calling GenIII.