Es ist mal wieder Zeit, das Docksymbol zu tauschen. Und was gibt’s besseres, als den guten alten Mario?