How can display all the badges the current user has earned in their profile?

Am I correct in saying that CoreJoomla doesn't have a "My Badges" module? :(

I don't see anything in the documentation.