BUR #18257 has been approved by @nonamethanks.
create alias vita -> vita_(nanoha)
remove alias vita -> vita_(nanoha)
deprecate vita
Vita is a rather ambiguous name. We have a lot of tags started with "vita" that I think giving this tag a qualifier is necessary.