In <a href="https://www.math.uni-bonn.de/people/scholze/Condensed.pdf">this paper</a> on Page 21, the first line of the proof, Peter Scholze seems to claim that any hypercover, consisting of finite sets, splits. I find this hard to believe. I am not familiar with categorical topology, but let's consider the constant simplicial set, where you map all simplices to a point and all arrows to the identity. It seems to me that this is a counterexample, is it not? And if not, why is Scholze's claim true?