To focus on the last of these posts: anyone who is familiar with MIRI knows that Luke has had an extremely successful tenure at MIRI, and his legacy will include completely refocussing its strategic direction, developing their newly stable research team, publishing original technical papers, attracting more donations, and interfacing successfully with academic experts. It's hard to underestimate his impact there!