公式サイト[1]や各SNSを見る限り、現在では単に「ケチャップ」という名義よりかは「DJケチャップ」で活動名義になっており、こちらへの改名を提案いたします。--こんせ(会話) 2024年3月29日 (金) 00:12 (UTC)[返信]