Kaj_Sotala comments on REQ: Latin translation for HPMOR