Faddeev–Popov Quantization (Abelian), Part 2: The Trick, the Propagator, and What Counts as Gauge Fixing

We derive the Faddeev–Popov identity using a discrete warm-up, insert it into the path integral, extract the gauge-fixed photon propagator, and ask: what other gauge-fixing terms are allowed?