Very much seems like it.

What's also quite telling is how fresh many of the GitHub accounts are from most people interacting on that PR.