Florian_Dietz comments on Group Rationality Diary, October 1-15