The threshold theorem for the $(4+1)$-dimensional Yang–Mills equation: An overview of the proof