I realize that Johannesburg metro area includes Pretoria, in a similar way that Delhi metro area includes New Delhi. I determined that Pretoria is a very separate city from Johannesburg, even if its population is included in the total, while New Delhi is pretty much part of Delhi. Quibbling and commentary is accepted, however.