BUR #25793 has been rejected.
create implication digital_stars -> vocaloid
create implication digital_stars_miku_(2021) -> hatsune_miku
create implication digital_stars_gumi_(2021) -> gumi
create implication digital_stars_miku_(2022) -> hatsune_miku
create implication digital_stars_miku_(2023) -> hatsune_miku
Noticed the implications for the Digital Stars event were missing. Also, are we sure about not having a base Digital Stars Miku tag at least to umbrella the variants to? I just find that strange compared to, say, the Yuki Miku variants.