Adding codechef/MUFFINS3