The minimally displaced set of an irreducible automorphism is locally finite - Francaviglia, Stefano (Array, 2020)