OpenBadges stored separately from Github badges