BUR #4271 has been approved by @evazion.
rename touei -> toei_animation
VR-Man said:
Unrelated, but speaking of touei, should the name be changed to "Toei" or "Toei Animation"?
nonamethanks said:
It should. It's one of those horrible ideas from 7 years ago.
Just realized we never got around to this.