Remark 3.38 
In the entire discussion in this section, we could have used the pro-étale topology from [1]} instead of the \(v\) -topology without any modification: this follows from the full faithfulness results in [1]} for the “change of topology map” and the observation that any \({F} \in \mathrm {Sh}_{lis}(X, \mathbf {Z}_\ell )\)  as defined above is in fact locally constant in the pro-étale topology by Lemma REF . Nevertheless, we have preferred to formulate things using the \(v\) -topology since the operations defined in [1]} are defined using the \(v\) -topology.

