Roko comments on What is MIRI currently doing?