Robert_Wiblin comments on Let’s conduct a survey on the quality of MIRI’s implementation