I have updated the NTSC-US leaderboard to include PAL version as well. There doesn't seem to be any difference between the two. However, if a disparity does show then a seperate category will be taken in consideration. But for now I see no problem in putting the two together.