“…We now turn to the structure of U A . If p = 0, then U A is the vector group associated with the dual vector space of H 1 (A, O A ) (see [Br18,Lem. 3.8]); thus, U A ≃ (G a ) g . If p > 0, then U A is profinite; more specifically, U A is the largest unipotent quotient of the profinite fundamental group of A, lim ← A[n] (as follows from [Br18, Thm.…”