one of the best, most in-depth alternative leaderboards for the rhythm game osu!