let's put the badge_name_to_id function in util.py