A shorter name for `mario`?

[python-mario-bot]

Open to suggestions here. I was thinking of mr, but it's a little close to rm.

[sosiristseng]

One could always do alias mr=mario. Not sure if the five-letter-long name is the problem.