I'm pretty sure that its meant to be not synced, because being number 1 while only playing on MvM servers would be a bit unfair (?) if that's the right word for it. I think that having the leaderboards separate from each other is better than 1 massive leaderboard of spaghetti. That's my take on it.