If DEI ever mattered as much as I believed it did in the music industry and rave culture, 7 October 2023 would become a rude awakening.