That associates statin use with depression, not cholesterol. That’s a huge difference. Those results (which are not an RCT) could easily be explained by those that are less depressed are more likely to seek any non-psychiatric outside medical treatment.