Total number of distinct Minecraft player UUIDs spotted across all scanned servers, growing over time.
