SWE-Bench Pro Has Two Versions: What the Hugging Face Leaderboard's 47 Rows Mix Together