Revert badge removal; just deal with it for now.

This reverts commit da3710351b348ce2444b01e5b0e2b9dba8533dd0.