Kaj_Sotala comments on MIRI Research Guide