I’m going to be honest; either I read the comment wrong, or they edited it after the fact. Based on the edit-pencil, it looks like they edited their comment :/