User blog comment:Ubersketch/A proposal for a standard/@comment-34422464-20190813205023

Seems like we will have to settle with weakly Mahlo collapsing OCF as KOCF2 has no comparison algorithm.