Duncan Sabien (Inactive) comments on I don’t think MIRI “gave up”