Ah, so they could probably generate an instrumented binary for Windows, but there was no infrastructure to actually collect the counts.

That would be a lot of work to set up!