BUR #54836 has been approved by @evazion.
remove alias guns_girl_school_dayz -> honkai_gakuen
Since the decision has fallen to move forward with Honkai Gakuen, I'd like this alias removed, it's the name used for SEA server which is no longer active. This is already better served by the Guns Girl Z alias and it's too unwieldy to type for the few people who still care about the copyright here.
Trivia
Honkai Gakuen has many different names, chalk it up to early game development choices. These names range from ones inherited from their predecessor game to different regional releases of the game (back then, servers were split by separate apps). The stylisation of the titles is also disputed because of the shoddy early translation and inconsistent use of certain titles.
The number of alias is a bit excessive to me but I think we can stick with the ones that are still commonly used and the remainder can be trivia or not here.
For reference, the names are:
- Zombiegal Kawaii (predecessor game, Honkai Gakuen is a remake of it that was repackaged as a sequel-ish game)
- Honkai Impact 2nd (from Benghuai Xueyuan 2/BH2, where Honkai Impact 3rd is Benghuai Xueyuan 3/BH3)
- The End of School
- School Day Z (also stylised School DayZ)
- Guns Girl Z (also stylised Guns GirlZ, sometimes misspelled Gun Girls)
- Mirage Cabin (NA release on app stores)
- Escape from Ragnarok (SEA release on app stores)
- Houkai Gakuen (Japanese title, Houkai for "Collapse")
- Honkai Gakuen (English title, Honkai as a loan/localisation)
