Yup (what's quoted is precisely what was in the original comment). The reply was very soon (2 minutes) after the original comment, so perhaps GP's author corrected themselves (edited the comment) during that time (prior to noticing the reply).