BUR #9290 has been approved by @nonamethanks.
rename leonis_(seiken_gakuin_no_maken_tsukai) -> leonis_death_magnus
rename elfine_(seiken_gakuin_no_maken_tsukai) -> elfine_phillet
rename regina_(seiken_gakuin_no_maken_tsukai) -> regina_mercedes
rename sakuya_(seiken_gakuin_no_maken_tsukai) -> sakuya_sieglinde
The full names of a few characters in Seiken Gakuin no Maken Tsukai.