Patch 1.72

One more small update to address a couple of items in the Leaderboards and Gallery:

• Leaderboards: Fixed a spurious "…" gap row and an incorrect player count for leaderboards where your score ranks just outside the top set.

• Gallery: "Most Recent" sort now includes migrated videos when filtering by a specific level.