Yeh. I had one pull request accepted into dotnet core a couple of years ago; I wonder if that was enough to be included in that 25k number?