Are you talking about bhoping maps? As coop maps, those are not included in the official game, and would be on distinct leaderboards. The problem i see in this is that there are plenty of bhop maps, which would result in having dozens of games to add on src. Kind of a problem :/

yes, src is definetly not the right place for that