Sean_o_h comments on Steelmanning MIRI critics