10-year-old’s cholesterol was over 800. Can CRISPR fix the problem?