BUR #49522 has been approved by @nonamethanks.
create alias roboko_(mahou_shoujo_ni_akogarete) -> machina_(mahou_shoujo_ni_akogarete)
Roboko was a placeholder name (in-universe), Machina is her definitive name.
This alias probably wouldn't need to exist had the series not gone on hiatus for 20 years, but c'est la vie.