[deleted] comments on Recent MIRI workshop results?