habryka comments on The Hamming Problem of Group Rationality