While I can definitely support this rename/change, should it be on this pull request? It seems completely unrelated to adding badges to the repo.