Did you skip over "In almost all applications of superconductors, they don't use high-temperature ones for one simple reason: Material properties."
They're saying that LHC does not use a ceramic, and therefore high-temperature, superconductor; instead they use metallic (cooled) superconductors because they can be molded.
They're saying that LHC does not use a ceramic, and therefore high-temperature, superconductor; instead they use metallic (cooled) superconductors because they can be molded.