The sources I found gave Robert Fletcher at least partial credit for the words. I think it's questionable whether Cole Porter actually wrote any of the lyrics, although it seems he did write the tune.The second verse I mentioned above is actually a second intro, all the lyrics that follow it are a repeat of the above. The whole thing can be found here.