RobinHanson comments on Efficient Cross-Domain Optimization