Kaj_Sotala comments on Mistakes repository