shminux comments on Steelmanning MIRI critics