ATP5IF1 and colitis: Ingenuity Pathway Analysis (IPA) indicated that inflammation, tissue development and gastrointestinal disease (colitis) were activated in IF1-KO mice (Supplementary Fig. S6e).