A tour d’horizon through homotopical aspects of C*-algebraic quantum spin systems