@lanse7pty In their proof they show that eventually M becomes convex. Then by Huisken 1984 JDG they conclude that the singularity is of type I (the definition of type I singularity is not there in 1984, but it is implicit in the calculation in that 1984 paper).