Bantu Africa in the diamond-mining region: a proposal for etymological study