Rob Bensinger comments on MIRI Research Guide