osu! all time top plays if players could only keep one highest score on a song (incl. remixes); and if winner takes all