Remove add_custom_badges

add_custom_badges turned out to be unnecessary.