Let X and Y be proper, normal, connected schemes over a field K, and let f : X → Y be a finite, flat K-morphism which is generically Galois (i.e., the extension of function fields K(Y ) ↪→ K(X) is Galois) with Galois group G. It is well-known that for the Zariski-open complement U ⊆ Y of the branch locus of f , the map f−1(U) → U is a (right) G-torsor. Thus, for any y ∈ U and x ∈ f−1(y), the ex...