On the pro-semisimple completion of the fundamental group of a smooth variety over a finite field

We also formulate two related Conjecture E.8.1, Conjecture E.9.1. Each of them is a kind of “reciprocity law” involving a sum over all ℓ-adic cohomology theories (including the crystalline theory for ℓ=p).