The original design called for high-temperature superconducting magnets, such as so-called ReBCO tapes, and CERN is looking into such technology. If it came to fruition in the necessary timescales and ...