Richard_Ngo comments on The ants and the grasshopper

[Richard_Ngo]

I have thought about this on and off for several years and finally decided that you’re right and have changed it. Thanks for pushing on this.