During 2003--2015, the CERN Axion Solar Telescope (CAST) has searched for $a\to\gamma$ conversion in the 9 T magnetic field of a refurbished LHC test magnet that can be directed toward the Sun. In its final phase of solar axion searches (2013--2015), CAST has returned t...