Aliasing mario_bros. -> super_mario_bros..

Reason: unification

But the Mario brothers are not universally super -- pre-console stuff was unsuper. The other way would be more accurate.

acct0283476 said:
But the Mario brothers are not universally super -- pre-console stuff was unsuper. The other way would be more accurate.

As much as it bugs me, I agree with this.

acct is definitely correct. The unification is a good idea, but it's decidedly backwards.

acct0283476 said:
But the Mario brothers are not universally super -- pre-console stuff was unsuper. The other way would be more accurate.

And the non platform ones don't normally include the word "Super"