re: #263 iceweasel

I’m not sure about in adults, but in small children (up to I think age 5?) cholesterol is important to brain development…..don’t know all the details…sorry