Could we rank the leaders on the leaderboard based on "response time" if the points are the same? Currently it is ranked alphabetically and a few students getting the same score will share the same ranking.