Is it just me or that comment seems planted to get that response? I don't get why is there a random reference to Ravi Vakil who has nothing to do with the context of that conversation. And if you want to cite for academic accomplishment, you can cite someone known much more widely. I find it much less iconic due to that.