[deleted] comments on Ask MIRI Anything (AMA)