User blog comment:Wythagoras/Buchholz hydra/@comment-5029411-20130902145548/@comment-5150073-20130902154330

I don't prefer to think about diagonalizators inside ordinal collapsing functions as large cardinals. They works just as notational symbols.