I’m not sure about the technical difficulty of adding badge counts to the users page, but now that we allow optional directory items to be added to the users page, it seems that badge counts would be a logical addition. It would help to make the users page function more as a leaderboard.
Just a thought, but would adding a badges_received column to directory_items be a possible way of approaching the issue?