Rob Bensinger comments on MIRI location optimization (and related topics) discussion