Esta capital de la República de los pigmeos se llamaba Mildendo en otros tiempos.