5 ms·

I think the parent is quoting the phrase simply because they are defining it, and not using sarcasm quotes.