Mario movie official title alias

BUR #12676 has been approved by @Hillside_Moose.

create alias super_mario_bros._(2023_film) -> the_super_mario_bros._movie

Official name of the film.

The bulk update request #12676 (forum #223533) has been approved by @Hillside_Moose.

Super Mario Bros. (movie) will just have to be changed to specify that it's for the 1993 film to avoid mistags

BUR #12677 has been approved by @Hillside_Moose.

rename super_mario_bros._(movie) -> super_mario_bros._(1993_film)

As mentioned above.

The bulk update request #12677 (forum #223536) has been approved by @Hillside_Moose.

BUR #13519 has been approved by @evazion.

create implication the_super_mario_bros._movie -> mario_(series)

It's part of the Mario series

The bulk update request #13519 (forum #227002) has been approved by @evazion.