User blog comment:Simply Beautiful Art/Feferman's theta extended to weakly compact cardinals/@comment-35470197-20190825022628/@comment-31663462-20190829121429

No I'm working on a much more generalized OCF you will probably see soon.