Etale cohomology of $F_p$-local systems does not behave nicely
on general smooth p-adic rigid-analytic spaces; e.g., the
$F_p$-cohomology of the 1-dimensional closed unit ball is
infinite.
However, it turns out that the situation is much better
if...