I used "grep" in a generic way. My comment referred to whatever grepping tool available on that platform, which at the time was indeed findstr, as you suggested

I used "grep" in a generic way. My comment referred to whatever grepping tool available on that platform, which at the time was indeed findstr, as you suggested, and Powershell. Of course it'd have been silly to expect a Windows-only-ever person to be familiar with Unix tools, that was not the point at all.