  We construct a modular compactification via stable slc pairs for the moduli
spaces of K3 surfaces with a nonsymplectic group of automorphisms under the
assumption that some combination of the fixed loci of automorphisms defines an
effective big divisor, and prove that it is semitoroidal.
