Kaj_Sotala comments on MIRI Research Guide

[Kaj_Sotala]

Thanks, that’s a good clarification. May be worth explicitly mentioning something like that in the guide, too.