Ben Pace comments on MIRI location optimization (and related topics) discussion

[Ben Pace]

This is a great comment, thanks. (Other people doing comments in this style would also be pretty great.)