That's only partially correct. While you can derive Benford's law as a consequence of Zipf's law, there are many datasets where Benford's law applies but Zipf's

That's only partially correct. While you can derive Benford's law as a consequence of Zipf's law, there are many datasets where Benford's law applies but Zipf's law doesn't, such as the values of physical constants. Much better (IMO) generic explanations for Benford's law are scale invariance and mixtures of probability distributions, which are discussed in the Wikipedia article. Unlike proofs of Zipf's law, they make no assumptions about the relationships between the entities.