The original source of "world.cities" is no longer available. The best free online source is probably geonames.org
The cities5000 data set has about the same number of entries as world.cities (~40,000) of which about half coincide. So it is not identical, but at least has some more recent data and quality control.