It's about half a million active users. So, yeah, a tiny city's worth.

Though things often start snowballing this way and Windows 10 end of life is likely see see a jump.