The bulk update request #3386 is pending approval.
create alias the_super_mario_bros_movie (305) -> the_super_mario_bros._movie (0)
create implication the_super_mario_bros._movie (0) -> mario_bros (38958)
create implication king_penguin_(smbm) (32) -> the_super_mario_bros._movie (0)
Reason: Aliasing the current spelling of the tag to the correct spelling of the upcoming movie's name (bros., not bros).
As you've likely noticed, the mario_bros tag also lacks the ., creating somewhat of an inconsistency. In theory, the tag should probably technically have the . as well, but I'm guessing that might take a while to process (27k posts to go through) and create temporary searching issues, which seems like a pain and unnecessary, so I'm ignoring it.
I don't think the penguin king has an official name yet, but king_penguin_(smbm) is what people are tagging him for now. We'll have to fix the implication later if the penguin ever has an official name revealed (or if he shows up in a game someday, making him no longer exclusive to the movie).