Alternatively, I could enable the Windows Linux subsystem, install a distro from the Windows Store (I chose debian), run bash and use the wc command on the relevant files. So that’s what I did. Nut, meet sledgehammer.