User blog comment:Nayuta Ito/Does this hydra halt?/@comment-1605058-20161123140711

I can't say for 100%, but I believe Buchholz's original proof generalizes to this extension. I was talking with Deedlit some months ago about pretty much the same thing and he has agreed with that, IIRC.