User blog comment:P進大好きbot/Proposal to Choose an Official Standard OCF in This Wiki/@comment-38876218-20191218050220

I think we should call extended buchholz psi 'Generic Psi' because it's easier to say and its different enough it can have a name