mr mushroom appears in the following leaderboards: