Follow-up: it mentions on https://en.wikipedia.org/wiki/Drinking_the_Kool-Aid#Background that the product used might have been another brand (Flavor Aid), not actual Kool-Aid, a claim I've heard a few times before. What's the current understanding here?