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

[DanielFilan]

but Austin seems better on a more inside view

Not that I’ve ever visited (but I do plan to this summer).