Normal Plasma Cholesterol in an 88-Year-Old Man Who Eats 25 Eggs a Day | Hacker News Reader