I’ll plan to submit this patch and delete these legacy ops next week unless if there is a strong objection. I’ve signaled this before but there has still been some incidental use. I think we’ve given enough time though, and cleanups in the repo are in the air.
Going… Going…