erratio comments on Group Rationality Diary, September 16-30

[erratio]

oooh, that’s much closer to what I was originally looking for. Thanks!