[deleted] comments on Steelmanning MIRI critics