“red dot” is another name for Badge.