The leading description of the cosmology of the Universe, known as cold dark matter (CDM), combines a model for dark energy, , with CDM, some non-interacting massive particles assumed to be non-relativistic during a significant fraction of the evolution of the universe. This description has been remarkably successful in explaining various phenomena in the large-scale Universe, including the angular power spectrum of the cosmic microwave background (Aghanim et al.