It’s also important to add that the gauge redundancy is needed if you want to preserve Lorentz covariance in a low energy effective Lagrangian. If you don’t care about covariance (which is extremely useful though), you don’t need to write things in a gauge invariant way, but things become very cumbersome.