User blog comment:Bubby3/Why no Greatly Mahlo cardinal in our weakly compact OCF?/@comment-1605058-20180606171052

My impression is that the answer is: since they are not necessary for whatever purpose the OCF was defined for (proof theory of Pi_3-reflection, if I recall correctly).