nerd3pt5 appears in the following leaderboards: