User blog comment:P進大好きbot/Full References of Arguments on Ordinal Notations with Large Cardinals/@comment-25601061-20180729214112/@comment-25601061-20180729215354

Also:
 * 1) As far as I know, neither rank-into-rank cardinals nor huge cardinals have been used in an OCF.
 * 2) Stage cardinals are not really cardinals, but rather a placeholder for a possible series of cardinals that have a specific behaviour and can be used to extend the weakly compact OCF.