johnswentworth comments on MIRI location optimization (and related topics) discussion