“dock badge” is another name for Badge.