Alexej Gerstmaier comments on What is MIRI currently doing?